001/** 002 * Copyright (C) 2007 - 2016, Jens Lehmann 003 * 004 * This file is part of DL-Learner. 005 * 006 * DL-Learner is free software; you can redistribute it and/or modify 007 * it under the terms of the GNU General Public License as published by 008 * the Free Software Foundation; either version 3 of the License, or 009 * (at your option) any later version. 010 * 011 * DL-Learner is distributed in the hope that it will be useful, 012 * but WITHOUT ANY WARRANTY; without even the implied warranty of 013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 014 * GNU General Public License for more details. 015 * 016 * You should have received a copy of the GNU General Public License 017 * along with this program. If not, see <http://www.gnu.org/licenses/>. 018 */ 019package org.dllearner.algorithms.properties; 020 021import org.dllearner.core.ComponentAnn; 022import org.dllearner.kb.SparqlEndpointKS; 023import org.semanticweb.owlapi.model.AxiomType; 024import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; 025import org.semanticweb.owlapi.model.OWLObjectProperty; 026 027import org.apache.jena.query.ParameterizedSparqlString; 028 029@ComponentAnn(name = "irreflexive object property axiom learner", shortName = "oplirrefl", version = 0.1, description="A learning algorithm for irreflexive object property axioms.") 030public class IrreflexiveObjectPropertyAxiomLearner extends ObjectPropertyCharacteristicsAxiomLearner<OWLIrreflexiveObjectPropertyAxiom> { 031 032 public IrreflexiveObjectPropertyAxiomLearner(SparqlEndpointKS ks) { 033 super(ks); 034 035 super.posExamplesQueryTemplate = new ParameterizedSparqlString( 036 "SELECT DISTINCT ?s WHERE {?s ?p ?o . FILTER NOT EXISTS{?s ?p ?s .}}"); 037 super.negExamplesQueryTemplate = new ParameterizedSparqlString( 038 "SELECT DISTINCT ?s WHERE {?s ?p ?s .}"); 039 040 super.POS_FREQUENCY_QUERY = new ParameterizedSparqlString( 041 "SELECT (COUNT(DISTINCT(?s)) AS ?cnt) WHERE {?s ?p ?o . FILTER NOT EXISTS {?s ?p ?s .} }"); 042 043 COUNT_QUERY = DISTINCT_SUBJECTS_COUNT_QUERY; 044 045 axiomType = AxiomType.IRREFLEXIVE_OBJECT_PROPERTY; 046 } 047 048 /* (non-Javadoc) 049 * @see org.dllearner.algorithms.properties.ObjectPropertyCharacteristicsAxiomLearner#getAxiom(org.semanticweb.owlapi.model.OWLObjectProperty) 050 */ 051 @Override 052 protected OWLIrreflexiveObjectPropertyAxiom getAxiom(OWLObjectProperty property) { 053 return df.getOWLIrreflexiveObjectPropertyAxiom(property); 054 } 055}