Menu
▾
▴
[DL-Learner SVN] SF.net SVN: dl-learner:[3857] trunk/components-core/src/main/java/org/ dllearner/reasoning/OWLAPIReasoner.java
|
From: <ed...@us...> - 2012-10-17 21:35:42
|
Revision: 3857
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3857&view=rev
Author: edka
Date: 2012-10-17 21:35:33 +0000 (Wed, 17 Oct 2012)
Log Message:
-----------
OWLAPIReasoner with catch-try-blocks for not implemented methods
Modified Paths:
--------------
trunk/components-core/src/main/java/org/dllearner/reasoning/OWLAPIReasoner.java
Modified: trunk/components-core/src/main/java/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/components-core/src/main/java/org/dllearner/reasoning/OWLAPIReasoner.java 2012-10-16 02:29:49 UTC (rev 3856)
+++ trunk/components-core/src/main/java/org/dllearner/reasoning/OWLAPIReasoner.java 2012-10-17 21:35:33 UTC (rev 3857)
@@ -39,7 +39,6 @@
import org.apache.log4j.Level;
import org.apache.log4j.Logger;
-import org.dllearner.core.AbstractKnowledgeSource;
import org.dllearner.core.AbstractReasonerComponent;
import org.dllearner.core.ComponentAnn;
import org.dllearner.core.ComponentInitException;
@@ -60,11 +59,7 @@
import org.dllearner.core.owl.Thing;
import org.dllearner.core.owl.TypedConstant;
import org.dllearner.core.owl.UntypedConstant;
-import org.dllearner.kb.OWLAPIOntology;
-import org.dllearner.kb.OWLFile;
import org.dllearner.kb.OWLOntologyKnowledgeSource;
-import org.dllearner.kb.sparql.SparqlKnowledgeSource;
-import org.dllearner.kb.sparql.simple.SparqlSimpleExtractor;
import org.dllearner.utilities.owl.ConceptComparator;
import org.dllearner.utilities.owl.DLLearnerDescriptionConvertVisitor;
import org.dllearner.utilities.owl.OWLAPIAxiomConvertVisitor;
@@ -104,9 +99,7 @@
import org.semanticweb.owlapi.model.UnknownOWLOntologyException;
import org.semanticweb.owlapi.owllink.OWLlinkHTTPXMLReasonerFactory;
import org.semanticweb.owlapi.owllink.OWLlinkReasonerConfiguration;
-import org.semanticweb.owlapi.reasoner.FreshEntitiesException;
import org.semanticweb.owlapi.reasoner.FreshEntityPolicy;
-import org.semanticweb.owlapi.reasoner.InconsistentOntologyException;
import org.semanticweb.owlapi.reasoner.IndividualNodeSetPolicy;
import org.semanticweb.owlapi.reasoner.InferenceType;
import org.semanticweb.owlapi.reasoner.Node;
@@ -114,10 +107,8 @@
import org.semanticweb.owlapi.reasoner.NullReasonerProgressMonitor;
import org.semanticweb.owlapi.reasoner.OWLReasoner;
import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration;
-import org.semanticweb.owlapi.reasoner.ReasonerInterruptedException;
import org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor;
import org.semanticweb.owlapi.reasoner.SimpleConfiguration;
-import org.semanticweb.owlapi.reasoner.TimeOutException;
import org.semanticweb.owlapi.util.SimpleIRIMapper;
import org.semanticweb.owlapi.vocab.PrefixOWLOntologyFormat;
import org.springframework.beans.propertyeditors.StringTrimmerEditor;
@@ -130,988 +121,1093 @@
import de.tudresden.inf.lat.cel.owlapi.CelReasoner;
/**
- * Mapping to OWL API reasoner interface. The OWL API currently
- * supports three reasoners: FaCT++, HermiT and Pellet. FaCT++ is connected
- * using JNI and native libraries, while HermiT and Pellet are pure Java
- * libraries.
- *
+ * Mapping to OWL API reasoner interface. The OWL API currently supports three
+ * reasoners: FaCT++, HermiT and Pellet. FaCT++ is connected using JNI and
+ * native libraries, while HermiT and Pellet are pure Java libraries.
+ *
* @author Jens Lehmann
*/
@ComponentAnn(name = "OWL API Reasoner", shortName = "oar", version = 0.8)
public class OWLAPIReasoner extends AbstractReasonerComponent {
-// private static Logger logger = Logger
-// .getLogger(OWLAPIReasoner.class);
+ // private static Logger logger = Logger
+ // .getLogger(OWLAPIReasoner.class);
- //private String reasonerType = "pellet";
- private OWLReasoner reasoner;
- private OWLOntologyManager manager;
+ // private String reasonerType = "pellet";
+ private OWLReasoner reasoner;
+ private OWLOntologyManager manager;
- private OWLOntology ontology;
- // the data factory is used to generate OWL API objects
- private OWLDataFactory factory;
- // static factory
-// private static OWLDataFactory staticFactory = OWLManager.createOWLOntologyManager().getOWLDataFactory();
+ private OWLOntology ontology;
+ // the data factory is used to generate OWL API objects
+ private OWLDataFactory factory;
+ // static factory
+ // private static OWLDataFactory staticFactory =
+ // OWLManager.createOWLOntologyManager().getOWLDataFactory();
- private ConceptComparator conceptComparator = new ConceptComparator();
- private RoleComparator roleComparator = new RoleComparator();
-// private ClassHierarchy subsumptionHierarchy;
-// private ObjectPropertyHierarchy roleHierarchy;
-// private DatatypePropertyHierarchy datatypePropertyHierarchy;
-// private Set<Description> allowedConceptsInSubsumptionHierarchy;
+ private ConceptComparator conceptComparator = new ConceptComparator();
+ private RoleComparator roleComparator = new RoleComparator();
+ // private ClassHierarchy subsumptionHierarchy;
+ // private ObjectPropertyHierarchy roleHierarchy;
+ // private DatatypePropertyHierarchy datatypePropertyHierarchy;
+ // private Set<Description> allowedConceptsInSubsumptionHierarchy;
- // primitives
- Set<NamedClass> atomicConcepts = new TreeSet<NamedClass>(conceptComparator);
- Set<ObjectProperty> atomicRoles = new TreeSet<ObjectProperty>(roleComparator);
- SortedSet<DatatypeProperty> datatypeProperties = new TreeSet<DatatypeProperty>();
- SortedSet<DatatypeProperty> booleanDatatypeProperties = new TreeSet<DatatypeProperty>();
- SortedSet<DatatypeProperty> doubleDatatypeProperties = new TreeSet<DatatypeProperty>();
- SortedSet<DatatypeProperty> intDatatypeProperties = new TreeSet<DatatypeProperty>();
- SortedSet<DatatypeProperty> stringDatatypeProperties = new TreeSet<DatatypeProperty>();
- SortedSet<Individual> individuals = new TreeSet<Individual>();
+ // primitives
+ Set<NamedClass> atomicConcepts = new TreeSet<NamedClass>(conceptComparator);
+ Set<ObjectProperty> atomicRoles = new TreeSet<ObjectProperty>(roleComparator);
+ SortedSet<DatatypeProperty> datatypeProperties = new TreeSet<DatatypeProperty>();
+ SortedSet<DatatypeProperty> booleanDatatypeProperties = new TreeSet<DatatypeProperty>();
+ SortedSet<DatatypeProperty> doubleDatatypeProperties = new TreeSet<DatatypeProperty>();
+ SortedSet<DatatypeProperty> intDatatypeProperties = new TreeSet<DatatypeProperty>();
+ SortedSet<DatatypeProperty> stringDatatypeProperties = new TreeSet<DatatypeProperty>();
+ SortedSet<Individual> individuals = new TreeSet<Individual>();
- // namespaces
- private Map<String, String> prefixes = new TreeMap<String, String>();
- private String baseURI;
+ // namespaces
+ private Map<String, String> prefixes = new TreeMap<String, String>();
+ private String baseURI;
- // references to OWL API ontologies
- private List<OWLOntology> owlAPIOntologies = new LinkedList<OWLOntology>();
- @ConfigOption(name = "reasonerType", description = "The name of the OWL APIReasoner to use {\"fact\", \"hermit\", \"owllink\", \"pellet\", \"elk\", \"cel\"}", defaultValue = "pellet", required = false, propertyEditorClass = StringTrimmerEditor.class)
- private String reasonerTypeString = "pellet";
- @ConfigOption(name = "owlLinkURL", description = "The URL to the owl server", defaultValue = "", required = false, propertyEditorClass = StringTrimmerEditor.class)
- private String owlLinkURL;
+ // references to OWL API ontologies
+ private List<OWLOntology> owlAPIOntologies = new LinkedList<OWLOntology>();
+ @ConfigOption(name = "reasonerType", description = "The name of the OWL APIReasoner to use {\"fact\", \"hermit\", \"owllink\", \"pellet\", \"elk\", \"cel\"}", defaultValue = "pellet", required = false, propertyEditorClass = StringTrimmerEditor.class)
+ private String reasonerTypeString = "pellet";
+ @ConfigOption(name = "owlLinkURL", description = "The URL to the owl server", defaultValue = "", required = false, propertyEditorClass = StringTrimmerEditor.class)
+ private String owlLinkURL;
+ public OWLAPIReasoner() {
- public OWLAPIReasoner() {
+ }
- }
+ public OWLAPIReasoner(Set<KnowledgeSource> sources) {
+ super(sources);
+ }
- public OWLAPIReasoner(Set<KnowledgeSource> sources) {
- super(sources);
- }
+ public static String getName() {
+ return "OWL API reasoner";
+ }
- public static String getName() {
- return "OWL API reasoner";
- }
+ @Override
+ public void init() throws ComponentInitException {
+ // reset variables (otherwise subsequent initialisation with
+ // different knowledge sources will merge both)
+ atomicConcepts = new TreeSet<NamedClass>(conceptComparator);
+ atomicRoles = new TreeSet<ObjectProperty>(roleComparator);
+ datatypeProperties = new TreeSet<DatatypeProperty>();
+ booleanDatatypeProperties = new TreeSet<DatatypeProperty>();
+ doubleDatatypeProperties = new TreeSet<DatatypeProperty>();
+ intDatatypeProperties = new TreeSet<DatatypeProperty>();
+ stringDatatypeProperties = new TreeSet<DatatypeProperty>();
+ individuals = new TreeSet<Individual>();
- @Override
- public void init() throws ComponentInitException {
- // reset variables (otherwise subsequent initialisation with
- // different knowledge sources will merge both)
- atomicConcepts = new TreeSet<NamedClass>(conceptComparator);
- atomicRoles = new TreeSet<ObjectProperty>(roleComparator);
- datatypeProperties = new TreeSet<DatatypeProperty>();
- booleanDatatypeProperties = new TreeSet<DatatypeProperty>();
- doubleDatatypeProperties = new TreeSet<DatatypeProperty>();
- intDatatypeProperties = new TreeSet<DatatypeProperty>();
- stringDatatypeProperties = new TreeSet<DatatypeProperty>();
- individuals = new TreeSet<Individual>();
+ // create OWL API ontology manager - make sure we use a new data factory
+ // so that we don't default to the static one which can cause problems
+ // in a multi threaded environment.
+ manager = OWLManager.createOWLOntologyManager(new OWLDataFactoryImpl());
- // create OWL API ontology manager - make sure we use a new data factory so that we don't default to the static one which can cause problems in a multi threaded environment.
- manager = OWLManager.createOWLOntologyManager(new OWLDataFactoryImpl());
+ // it is a bit cumbersome to obtain all classes, because there
+ // are no reasoner queries to obtain them => hence we query them
+ // for each ontology and add them to a set; a comparator avoids
+ // duplicates by checking URIs
+ Comparator<OWLNamedObject> namedObjectComparator = new Comparator<OWLNamedObject>() {
+ public int compare(OWLNamedObject o1, OWLNamedObject o2) {
+ return o1.getIRI().compareTo(o2.getIRI());
+ }
+ };
+ Set<OWLClass> classes = new TreeSet<OWLClass>(namedObjectComparator);
+ Set<OWLObjectProperty> owlObjectProperties = new TreeSet<OWLObjectProperty>(
+ namedObjectComparator);
+ Set<OWLDataProperty> owlDatatypeProperties = new TreeSet<OWLDataProperty>(
+ namedObjectComparator);
+ Set<OWLNamedIndividual> owlIndividuals = new TreeSet<OWLNamedIndividual>(
+ namedObjectComparator);
- // it is a bit cumbersome to obtain all classes, because there
- // are no reasoner queries to obtain them => hence we query them
- // for each ontology and add them to a set; a comparator avoids
- // duplicates by checking URIs
- Comparator<OWLNamedObject> namedObjectComparator = new Comparator<OWLNamedObject>() {
- public int compare(OWLNamedObject o1, OWLNamedObject o2) {
- return o1.getIRI().compareTo(o2.getIRI());
- }
- };
- Set<OWLClass> classes = new TreeSet<OWLClass>(namedObjectComparator);
- Set<OWLObjectProperty> owlObjectProperties = new TreeSet<OWLObjectProperty>(namedObjectComparator);
- Set<OWLDataProperty> owlDatatypeProperties = new TreeSet<OWLDataProperty>(namedObjectComparator);
- Set<OWLNamedIndividual> owlIndividuals = new TreeSet<OWLNamedIndividual>(namedObjectComparator);
+ Set<OWLOntology> allImports = new HashSet<OWLOntology>();
+ prefixes = new TreeMap<String, String>();
- Set<OWLOntology> allImports = new HashSet<OWLOntology>();
- prefixes = new TreeMap<String, String>();
+ Set<OWLImportsDeclaration> directImports = new HashSet<OWLImportsDeclaration>();
- Set<OWLImportsDeclaration> directImports = new HashSet<OWLImportsDeclaration>();
+ for (KnowledgeSource source : sources) {
- for (KnowledgeSource source : sources) {
+ if (source instanceof OWLOntologyKnowledgeSource) {
+ ontology = ((OWLOntologyKnowledgeSource) source).createOWLOntology(manager);
+ owlAPIOntologies.add(ontology);
+ } else {
+ // This reasoner requires an ontology to process
+ throw new ComponentInitException(
+ "OWL API Reasoner Requires an OWLKnowledgeSource. Received a KS of type: "
+ + source.getClass().getName());
+ }
- if (source instanceof OWLOntologyKnowledgeSource) {
- ontology = ((OWLOntologyKnowledgeSource) source).createOWLOntology(manager);
- owlAPIOntologies.add(ontology);
- }else{
- //This reasoner requires an ontology to process
- throw new ComponentInitException("OWL API Reasoner Requires an OWLKnowledgeSource. Received a KS of type: " + source.getClass().getName());
- }
+ directImports.addAll(ontology.getImportsDeclarations());
- directImports.addAll(ontology.getImportsDeclarations());
+ try {
+ // imports includes the ontology itself
+ // FIXME this line throws the strange error
+ Set<OWLOntology> imports = manager.getImportsClosure(ontology);
+ allImports.addAll(imports);
- try {
- // imports includes the ontology itself
- //FIXME this line throws the strange error
- Set<OWLOntology> imports = manager.getImportsClosure(ontology);
- allImports.addAll(imports);
+ // System.out.println(imports);
+ for (OWLOntology ont : imports) {
+ classes.addAll(ont.getClassesInSignature());
+ owlObjectProperties.addAll(ont.getObjectPropertiesInSignature());
+ owlDatatypeProperties.addAll(ont.getDataPropertiesInSignature());
+ owlIndividuals.addAll(ont.getIndividualsInSignature());
+ }
-// System.out.println(imports);
- for (OWLOntology ont : imports) {
- classes.addAll(ont.getClassesInSignature());
- owlObjectProperties.addAll(ont.getObjectPropertiesInSignature());
- owlDatatypeProperties.addAll(ont.getDataPropertiesInSignature());
- owlIndividuals.addAll(ont.getIndividualsInSignature());
- }
+ } catch (UnknownOWLOntologyException uooe) {
+ logger.error("UnknownOWLOntologyException occured, imports were not loaded! This is a bug, which has not been fixed yet.");
+ }
- } catch (UnknownOWLOntologyException uooe) {
- logger.error("UnknownOWLOntologyException occured, imports were not loaded! This is a bug, which has not been fixed yet.");
- }
+ // if several knowledge sources are included, then we can only
+ // guarantee that the base URI is from one of those sources (there
+ // can't be more than one); but we will take care that all prefixes
+ // are
+ // correctly imported
+ OWLOntologyFormat format = manager.getOntologyFormat(ontology);
+ if (format instanceof PrefixOWLOntologyFormat) {
+ prefixes.putAll(((PrefixOWLOntologyFormat) format).getPrefixName2PrefixMap());
+ baseURI = ((PrefixOWLOntologyFormat) format).getDefaultPrefix();
+ prefixes.remove("");
+ }
- // if several knowledge sources are included, then we can only
- // guarantee that the base URI is from one of those sources (there
- // can't be more than one); but we will take care that all prefixes are
- // correctly imported
- OWLOntologyFormat format = manager.getOntologyFormat(ontology);
- if (format instanceof PrefixOWLOntologyFormat) {
- prefixes.putAll(((PrefixOWLOntologyFormat) format).getPrefixName2PrefixMap());
- baseURI = ((PrefixOWLOntologyFormat) format).getDefaultPrefix();
- prefixes.remove("");
- }
+ }
- }
+ // Now merge all of the knowledge sources into one ontology instance.
+ try {
+ // The following line illustrates a problem with using different
+ // OWLOntologyManagers. This can manifest itself if we have multiple
+ // sources who were created with different manager instances.
+ // ontology =
+ // OWLManager.createOWLOntologyManager().createOntology(IRI.create("http://dl-learner/all"),
+ // new HashSet<OWLOntology>(owlAPIOntologies));
+ ontology = manager.createOntology(IRI.create("http://dl-learner/all"),
+ new HashSet<OWLOntology>(owlAPIOntologies));
+ // we have to add all import declarations manually here, because
+ // this are no axioms
+ List<OWLOntologyChange> addImports = new ArrayList<OWLOntologyChange>();
+ for (OWLImportsDeclaration i : directImports) {
+ addImports.add(new AddImport(ontology, i));
+ }
+ manager.applyChanges(addImports);
+ } catch (OWLOntologyCreationException e1) {
+ e1.printStackTrace();
+ }
- //Now merge all of the knowledge sources into one ontology instance.
- try {
- //The following line illustrates a problem with using different OWLOntologyManagers. This can manifest itself if we have multiple sources who were created with different manager instances.
- //ontology = OWLManager.createOWLOntologyManager().createOntology(IRI.create("http://dl-learner/all"), new HashSet<OWLOntology>(owlAPIOntologies));
- ontology = manager.createOntology(IRI.create("http://dl-learner/all"), new HashSet<OWLOntology>(owlAPIOntologies));
- //we have to add all import declarations manually here, because this are no axioms
- List<OWLOntologyChange> addImports = new ArrayList<OWLOntologyChange>();
- for (OWLImportsDeclaration i : directImports) {
- addImports.add(new AddImport(ontology, i));
- }
- manager.applyChanges(addImports);
- } catch (OWLOntologyCreationException e1) {
- e1.printStackTrace();
- }
+ // configure reasoner
+ ReasonerProgressMonitor progressMonitor = new NullReasonerProgressMonitor();
+ FreshEntityPolicy freshEntityPolicy = FreshEntityPolicy.ALLOW;
+ long timeOut = Integer.MAX_VALUE;
+ IndividualNodeSetPolicy individualNodeSetPolicy = IndividualNodeSetPolicy.BY_NAME;
+ OWLReasonerConfiguration conf = new SimpleConfiguration(progressMonitor, freshEntityPolicy,
+ timeOut, individualNodeSetPolicy);
- //configure reasoner
- ReasonerProgressMonitor progressMonitor = new NullReasonerProgressMonitor();
- FreshEntityPolicy freshEntityPolicy = FreshEntityPolicy.ALLOW;
- long timeOut = Integer.MAX_VALUE;
- IndividualNodeSetPolicy individualNodeSetPolicy = IndividualNodeSetPolicy.BY_NAME;
- OWLReasonerConfiguration conf = new SimpleConfiguration(progressMonitor, freshEntityPolicy, timeOut, individualNodeSetPolicy);
+ // create actual reasoner
+ if (getReasonerTypeString().equals("fact")) {
+ try {
+ reasoner = new FaCTPlusPlusReasonerFactory().createNonBufferingReasoner(ontology,
+ conf);
- // create actual reasoner
- if (getReasonerTypeString().equals("fact")) {
- try {
- reasoner = new FaCTPlusPlusReasonerFactory().createNonBufferingReasoner(ontology, conf);
- } catch (Exception e) {
- throw new RuntimeException(e);
- }
- System.out.println("Using FaCT++.");
- } else if (getReasonerTypeString().equals("hermit")) {
- // instantiate HermiT reasoner
- reasoner = new ReasonerFactory().createNonBufferingReasoner(ontology, conf);
- } else if (getReasonerTypeString().equals("pellet")) {
- // instantiate Pellet reasoner
- reasoner = PelletReasonerFactory.getInstance().createNonBufferingReasoner(ontology, conf);
- // change log level to WARN for Pellet, because otherwise log
- // output will be very large
- Logger pelletLogger = Logger.getLogger("org.mindswap.pellet");
- pelletLogger.setLevel(Level.WARN);
- } else if (getReasonerTypeString().equals("elk")) {
- // instantiate ELK reasoner
- reasoner = new ElkReasonerFactory().createNonBufferingReasoner(ontology, conf);
- } else if (getReasonerTypeString().equals("cel")) {
- // instantiate CEL reasoner
- reasoner = new CelReasoner(ontology, conf);
- } else {
- try {
- OWLlinkHTTPXMLReasonerFactory factory = new OWLlinkHTTPXMLReasonerFactory();
- URL url = new URL(getOwlLinkURL());//Configure the server end-point
- OWLlinkReasonerConfiguration config = new OWLlinkReasonerConfiguration(url);
- reasoner = factory.createNonBufferingReasoner(ontology, config);
- System.out.println(reasoner.getReasonerName());
- } catch (Exception e) {
-// e.printStackTrace();
- throw new ComponentInitException(e);
- }
- }
+ } catch (Exception e) {
+ throw new RuntimeException(e);
+ }
+ System.out.println("Using FaCT++.");
+ } else if (getReasonerTypeString().equals("hermit")) {
+ // instantiate HermiT reasoner
+ reasoner = new ReasonerFactory().createNonBufferingReasoner(ontology, conf);
+ } else if (getReasonerTypeString().equals("pellet")) {
+ // instantiate Pellet reasoner
+ reasoner = PelletReasonerFactory.getInstance().createNonBufferingReasoner(ontology,
+ conf);
+ // change log level to WARN for Pellet, because otherwise log
+ // output will be very large
+ Logger pelletLogger = Logger.getLogger("org.mindswap.pellet");
+ pelletLogger.setLevel(Level.WARN);
+ } else if (getReasonerTypeString().equals("elk")) {
+ // instantiate ELK reasoner
+ reasoner = new ElkReasonerFactory().createNonBufferingReasoner(ontology, conf);
+ // reasoner = new
+ // MyElkReasonerFactory().createNonBufferingReasoner(ontology,
+ // conf);
+ } else if (getReasonerTypeString().equals("cel")) {
+ // instantiate CEL reasoner
+ reasoner = new CelReasoner(ontology, conf);
+ } else {
+ try {
+ OWLlinkHTTPXMLReasonerFactory factory = new OWLlinkHTTPXMLReasonerFactory();
+ URL url = new URL(getOwlLinkURL());// Configure the server
+ // end-point
+ OWLlinkReasonerConfiguration config = new OWLlinkReasonerConfiguration(url);
+ reasoner = factory.createNonBufferingReasoner(ontology, config);
+ System.out.println(reasoner.getReasonerName());
+ } catch (Exception e) {
+ // e.printStackTrace();
+ throw new ComponentInitException(e);
+ }
+ }
- /*
- Set<OWLOntology> importsClosure = manager.getImportsClosure(ontology);
- System.out.println("imports closure : " + importsClosure);
- try {
- reasoner.loadOntologies(importsClosure);
- } catch (OWLReasonerException e1) {
- // TODO Auto-generated catch block
- e1.printStackTrace();
- }*/
+ /*
+ * Set<OWLOntology> importsClosure =
+ * manager.getImportsClosure(ontology);
+ * System.out.println("imports closure : " + importsClosure); try {
+ * reasoner.loadOntologies(importsClosure); } catch
+ * (OWLReasonerException e1) { // TODO Auto-generated catch block
+ * e1.printStackTrace(); }
+ */
-// System.out.println(classes);
-// System.out.println(properties);
-// System.out.println(individuals);
+ // System.out.println(classes);
+ // System.out.println(properties);
+ // System.out.println(individuals);
- // compute class hierarchy and types of individuals
- // (done here to speed up later reasoner calls)
- boolean inconsistentOntology = !reasoner.isConsistent();
+ // compute class hierarchy and types of individuals
+ // (done here to speed up later reasoner calls)
+ boolean inconsistentOntology = !reasoner.isConsistent();
- if (!inconsistentOntology) {
- reasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY, InferenceType.CLASS_ASSERTIONS);
- } else {
- throw new ComponentInitException("Inconsistent ontologies.");
- }
+ if (!inconsistentOntology) {
+ reasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY,
+ InferenceType.CLASS_ASSERTIONS);
+ } else {
+ throw new ComponentInitException("Inconsistent ontologies.");
+ }
- factory = manager.getOWLDataFactory();
+ factory = manager.getOWLDataFactory();
-// try {
-// if(reasoner.isDefined(factory.getOWLIndividual(URI.create("http://example.com/father#female"))))
-// System.out.println("DEFINED.");
-// else
-// System.out.println("NOT DEFINED.");
-// } catch (OWLReasonerException e) {
-// // TODO Auto-generated catch block
-// e.printStackTrace();
-// }
+ // try {
+ // if(reasoner.isDefined(factory.getOWLIndividual(URI.create("http://example.com/father#female"))))
+ // System.out.println("DEFINED.");
+ // else
+ // System.out.println("NOT DEFINED.");
+ // } catch (OWLReasonerException e) {
+ // // TODO Auto-generated catch block
+ // e.printStackTrace();
+ // }
- // read in primitives
- for (OWLClass owlClass : classes)
- atomicConcepts.add(new NamedClass(owlClass.toStringID()));
- for (OWLObjectProperty owlProperty : owlObjectProperties)
- atomicRoles.add(new ObjectProperty(owlProperty.toStringID()));
- for (OWLDataProperty owlProperty : owlDatatypeProperties) {
- DatatypeProperty dtp = new DatatypeProperty(owlProperty.toStringID());
- Set<OWLDataRange> ranges = owlProperty.getRanges(allImports);
- Iterator<OWLDataRange> it = ranges.iterator();
- if (it.hasNext()) {
- OWLDataRange range = it.next();
- if (range.isDatatype()) {
- URI uri = ((OWLDatatype) range).getIRI().toURI();
- if (uri.equals(OWL2Datatype.BOOLEAN.getURI())) booleanDatatypeProperties.add(dtp);
- else if (uri.equals(OWL2Datatype.DOUBLE.getURI())) doubleDatatypeProperties.add(dtp);
- else if (uri.equals(OWL2Datatype.INT.getURI())) intDatatypeProperties.add(dtp);
- else if (uri.equals(OWL2Datatype.STRING.getURI())) stringDatatypeProperties.add(dtp);
- }
- } else {
- stringDatatypeProperties.add(dtp);
- }
- datatypeProperties.add(dtp);
- }
- for (OWLNamedIndividual owlIndividual : owlIndividuals) {
- individuals.add(new Individual(owlIndividual.toStringID()));
- }
+ // read in primitives
+ for (OWLClass owlClass : classes)
+ atomicConcepts.add(new NamedClass(owlClass.toStringID()));
+ for (OWLObjectProperty owlProperty : owlObjectProperties)
+ atomicRoles.add(new ObjectProperty(owlProperty.toStringID()));
+ for (OWLDataProperty owlProperty : owlDatatypeProperties) {
+ DatatypeProperty dtp = new DatatypeProperty(owlProperty.toStringID());
+ Set<OWLDataRange> ranges = owlProperty.getRanges(allImports);
+ Iterator<OWLDataRange> it = ranges.iterator();
+ if (it.hasNext()) {
+ OWLDataRange range = it.next();
+ if (range.isDatatype()) {
+ URI uri = ((OWLDatatype) range).getIRI().toURI();
+ if (uri.equals(OWL2Datatype.BOOLEAN.getURI()))
+ booleanDatatypeProperties.add(dtp);
+ else if (uri.equals(OWL2Datatype.DOUBLE.getURI()))
+ doubleDatatypeProperties.add(dtp);
+ else if (uri.equals(OWL2Datatype.INT.getURI()))
+ intDatatypeProperties.add(dtp);
+ else if (uri.equals(OWL2Datatype.STRING.getURI()))
+ stringDatatypeProperties.add(dtp);
+ }
+ } else {
+ stringDatatypeProperties.add(dtp);
+ }
+ datatypeProperties.add(dtp);
+ }
+ for (OWLNamedIndividual owlIndividual : owlIndividuals) {
+ individuals.add(new Individual(owlIndividual.toStringID()));
+ }
- // remove top and bottom properties (for backwards compatibility)
-// atomicRoles.remove(new ObjectProperty("http://www.w3.org/2002/07/owl#bottomObjectProperty"));
-// atomicRoles.remove(new ObjectProperty("http://www.w3.org/2002/07/owl#topObjectProperty"));
- }
+ // remove top and bottom properties (for backwards compatibility)
+ // atomicRoles.remove(new
+ // ObjectProperty("http://www.w3.org/2002/07/owl#bottomObjectProperty"));
+ // atomicRoles.remove(new
+ // ObjectProperty("http://www.w3.org/2002/07/owl#topObjectProperty"));
+ }
- /* (non-Javadoc)
- * @see org.dllearner.core.Reasoner#getAtomicConcepts()
- */
- public Set<NamedClass> getNamedClasses() {
- return Collections.unmodifiableSet(atomicConcepts);
- }
+ /*
+ * (non-Javadoc)
+ *
+ * @see org.dllearner.core.Reasoner#getAtomicConcepts()
+ */
+ public Set<NamedClass> getNamedClasses() {
+ return Collections.unmodifiableSet(atomicConcepts);
+ }
- /* (non-Javadoc)
- * @see org.dllearner.core.Reasoner#getAtomicRoles()
- */
- public Set<ObjectProperty> getObjectProperties() {
- return Collections.unmodifiableSet(atomicRoles);
- }
+ /*
+ * (non-Javadoc)
+ *
+ * @see org.dllearner.core.Reasoner#getAtomicRoles()
+ */
+ public Set<ObjectProperty> getObjectProperties() {
+ return Collections.unmodifiableSet(atomicRoles);
+ }
- @Override
- public SortedSet<DatatypeProperty> getDatatypePropertiesImpl() {
- return datatypeProperties;
- }
+ @Override
+ public SortedSet<DatatypeProperty> getDatatypePropertiesImpl() {
+ return datatypeProperties;
+ }
- /* (non-Javadoc)
- * @see org.dllearner.core.Reasoner#getIndividuals()
- */
- public SortedSet<Individual> getIndividuals() {
- return individuals;
- }
+ /*
+ * (non-Javadoc)
+ *
+ * @see org.dllearner.core.Reasoner#getIndividuals()
+ */
+ public SortedSet<Individual> getIndividuals() {
+ return individuals;
+ }
- /* (non-Javadoc)
- * @see org.dllearner.core.Reasoner#getReasonerType()
- */
- @Override
- public ReasonerType getReasonerType() {
- if (getReasonerTypeString().equals("fact")) {
- return ReasonerType.OWLAPI_FACT;
- } else if (getReasonerTypeString().equals("hermit")) {
- return ReasonerType.OWLAPI_HERMIT;
- } else {
- return ReasonerType.OWLAPI_PELLET;
- }
- }
+ /*
+ * (non-Javadoc)
+ *
+ * @see org.dllearner.core.Reasoner#getReasonerType()
+ */
+ @Override
+ public ReasonerType getReasonerType() {
+ if (getReasonerTypeString().equals("fact")) {
+ return ReasonerType.OWLAPI_FACT;
+ } else if (getReasonerTypeString().equals("hermit")) {
+ return ReasonerType.OWLAPI_HERMIT;
+ } else {
+ return ReasonerType.OWLAPI_PELLET;
+ }
+ }
-// @Override
-// public ObjectPropertyHierarchy prepareRoleHierarchy() {
-// // code copied from DIG reasoner
-//
-// TreeMap<ObjectProperty, TreeSet<ObjectProperty>> roleHierarchyUp = new TreeMap<ObjectProperty, TreeSet<ObjectProperty>>(
-// roleComparator);
-// TreeMap<ObjectProperty, TreeSet<ObjectProperty>> roleHierarchyDown = new TreeMap<ObjectProperty, TreeSet<ObjectProperty>>(
-// roleComparator);
-//
-// // refinement of atomic concepts
-// for (ObjectProperty role : atomicRoles) {
-// roleHierarchyDown.put(role, getMoreSpecialRolesImpl(role));
-// roleHierarchyUp.put(role, getMoreGeneralRolesImpl(role));
-// }
-//
-// roleHierarchy = new ObjectPropertyHierarchy(atomicRoles, roleHierarchyUp,
-// roleHierarchyDown);
-// return roleHierarchy;
-// }
+ // @Override
+ // public ObjectPropertyHierarchy prepareRoleHierarchy() {
+ // // code copied from DIG reasoner
+ //
+ // TreeMap<ObjectProperty, TreeSet<ObjectProperty>> roleHierarchyUp = new
+ // TreeMap<ObjectProperty, TreeSet<ObjectProperty>>(
+ // roleComparator);
+ // TreeMap<ObjectProperty, TreeSet<ObjectProperty>> roleHierarchyDown = new
+ // TreeMap<ObjectProperty, TreeSet<ObjectProperty>>(
+ // roleComparator);
+ //
+ // // refinement of atomic concepts
+ // for (ObjectProperty role : atomicRoles) {
+ // roleHierarchyDown.put(role, getMoreSpecialRolesImpl(role));
+ // roleHierarchyUp.put(role, getMoreGeneralRolesImpl(role));
+ // }
+ //
+ // roleHierarchy = new ObjectPropertyHierarchy(atomicRoles, roleHierarchyUp,
+ // roleHierarchyDown);
+ // return roleHierarchy;
+ // }
- /* (non-Javadoc)
- * @see org.dllearner.core.Reasoner#prepareRoleHierarchy(java.util.Set)
- */
-// public void prepareRoleHierarchy(Set<ObjectProperty> allowedRoles) {
-// // code copied from DIG reasoner
-//
-// TreeMap<ObjectProperty, TreeSet<ObjectProperty>> roleHierarchyUp = new TreeMap<ObjectProperty, TreeSet<ObjectProperty>>(
-// roleComparator);
-// TreeMap<ObjectProperty, TreeSet<ObjectProperty>> roleHierarchyDown = new TreeMap<ObjectProperty, TreeSet<ObjectProperty>>(
-// roleComparator);
-//
-// // refinement of atomic concepts
-// for (ObjectProperty role : atomicRoles) {
-// roleHierarchyDown.put(role, getMoreSpecialRolesImpl(role));
-// roleHierarchyUp.put(role, getMoreGeneralRolesImpl(role));
-// }
-//
-// roleHierarchy = new ObjectPropertyHierarchy(allowedRoles, roleHierarchyUp,
-// roleHierarchyDown);
-// }
+ /*
+ * (non-Javadoc)
+ *
+ * @see org.dllearner.core.Reasoner#prepareRoleHierarchy(java.util.Set)
+ */
+ // public void prepareRoleHierarchy(Set<ObjectProperty> allowedRoles) {
+ // // code copied from DIG reasoner
+ //
+ // TreeMap<ObjectProperty, TreeSet<ObjectProperty>> roleHierarchyUp = new
+ // TreeMap<ObjectProperty, TreeSet<ObjectProperty>>(
+ // roleComparator);
+ // TreeMap<ObjectProperty, TreeSet<ObjectProperty>> roleHierarchyDown = new
+ // TreeMap<ObjectProperty, TreeSet<ObjectProperty>>(
+ // roleComparator);
+ //
+ // // refinement of atomic concepts
+ // for (ObjectProperty role : atomicRoles) {
+ // roleHierarchyDown.put(role, getMoreSpecialRolesImpl(role));
+ // roleHierarchyUp.put(role, getMoreGeneralRolesImpl(role));
+ // }
+ //
+ // roleHierarchy = new ObjectPropertyHierarchy(allowedRoles,
+ // roleHierarchyUp,
+ // roleHierarchyDown);
+ // }
-// @Override
-// public ObjectPropertyHierarchy getRoleHierarchy() {
-// return roleHierarchy;
-// }
+ // @Override
+ // public ObjectPropertyHierarchy getRoleHierarchy() {
+ // return roleHierarchy;
+ // }
-// public void prepareDatatypePropertyHierarchyImpl(Set<DatatypeProperty> allowedRoles) {
-// // code copied from DIG reasoner
-//
-// TreeMap<DatatypeProperty, TreeSet<DatatypeProperty>> datatypePropertyHierarchyUp = new TreeMap<DatatypeProperty, TreeSet<DatatypeProperty>>(
-// roleComparator);
-// TreeMap<DatatypeProperty, TreeSet<DatatypeProperty>> datatypePropertyHierarchyDown = new TreeMap<DatatypeProperty, TreeSet<DatatypeProperty>>(
-// roleComparator);
-//
-// // refinement of atomic concepts
-// for (DatatypeProperty role : datatypeProperties) {
-// datatypePropertyHierarchyDown.put(role, getMoreSpecialDatatypePropertiesImpl(role));
-// datatypePropertyHierarchyUp.put(role, getMoreGeneralDatatypePropertiesImpl(role));
-// }
-//
-// datatypePropertyHierarchy = new DatatypePropertyHierarchy(allowedRoles, datatypePropertyHierarchyUp,
-// datatypePropertyHierarchyDown);
-// }
+ // public void prepareDatatypePropertyHierarchyImpl(Set<DatatypeProperty>
+ // allowedRoles) {
+ // // code copied from DIG reasoner
+ //
+ // TreeMap<DatatypeProperty, TreeSet<DatatypeProperty>>
+ // datatypePropertyHierarchyUp = new TreeMap<DatatypeProperty,
+ // TreeSet<DatatypeProperty>>(
+ // roleComparator);
+ // TreeMap<DatatypeProperty, TreeSet<DatatypeProperty>>
+ // datatypePropertyHierarchyDown = new TreeMap<DatatypeProperty,
+ // TreeSet<DatatypeProperty>>(
+ // roleComparator);
+ //
+ // // refinement of atomic concepts
+ // for (DatatypeProperty role : datatypeProperties) {
+ // datatypePropertyHierarchyDown.put(role,
+ // getMoreSpecialDatatypePropertiesImpl(role));
+ // datatypePropertyHierarchyUp.put(role,
+ // getMoreGeneralDatatypePropertiesImpl(role));
+ // }
+ //
+ // datatypePropertyHierarchy = new DatatypePropertyHierarchy(allowedRoles,
+ // datatypePropertyHierarchyUp,
+ // datatypePropertyHierarchyDown);
+ // }
-// @Override
-// public DatatypePropertyHierarchy getDatatypePropertyHierarchy() {
-// return datatypePropertyHierarchy;
-// }
+ // @Override
+ // public DatatypePropertyHierarchy getDatatypePropertyHierarchy() {
+ // return datatypePropertyHierarchy;
+ // }
- @Override
- public boolean isSuperClassOfImpl(Description superConcept, Description subConcept) {
- return reasoner.isEntailed(factory.getOWLSubClassOfAxiom(OWLAPIDescriptionConvertVisitor.getOWLClassExpression(subConcept), OWLAPIDescriptionConvertVisitor.getOWLClassExpression(superConcept)));
- }
+ @Override
+ public boolean isSuperClassOfImpl(Description superConcept, Description subConcept) {
+ return reasoner.isEntailed(factory.getOWLSubClassOfAxiom(
+ OWLAPIDescriptionConvertVisitor.getOWLClassExpression(subConcept),
+ OWLAPIDescriptionConvertVisitor.getOWLClassExpression(superConcept)));
+ }
- @Override
- protected boolean isEquivalentClassImpl(Description class1, Description class2) {
- return reasoner.isEntailed(factory.getOWLEquivalentClassesAxiom(OWLAPIDescriptionConvertVisitor.getOWLClassExpression(class1), OWLAPIDescriptionConvertVisitor.getOWLClassExpression(class2)));
- }
+ @Override
+ protected boolean isEquivalentClassImpl(Description class1, Description class2) {
+ return reasoner.isEntailed(factory.getOWLEquivalentClassesAxiom(
+ OWLAPIDescriptionConvertVisitor.getOWLClassExpression(class1),
+ OWLAPIDescriptionConvertVisitor.getOWLClassExpression(class2)));
+ }
- @Override
- protected TreeSet<Description> getSuperClassesImpl(Description concept) {
- NodeSet<OWLClass> classes = null;
+ @Override
+ protected TreeSet<Description> getSuperClassesImpl(Description concept) {
+ NodeSet<OWLClass> classes = null;
- classes = reasoner.getSuperClasses(OWLAPIDescriptionConvertVisitor.getOWLClassExpression(concept), true);
+ classes = reasoner.getSuperClasses(
+ OWLAPIDescriptionConvertVisitor.getOWLClassExpression(concept), true);
- return getFirstClasses(classes);
- }
+ return getFirstClasses(classes);
+ }
- @Override
- protected TreeSet<Description> getSubClassesImpl(Description concept) {
- NodeSet<OWLClass> classes = null;
+ @Override
+ protected TreeSet<Description> getSubClassesImpl(Description concept) {
+ NodeSet<OWLClass> classes = null;
- classes = reasoner.getSubClasses(OWLAPIDescriptionConvertVisitor.getOWLClassExpression(concept), true);
+ classes = reasoner.getSubClasses(
+ OWLAPIDescriptionConvertVisitor.getOWLClassExpression(concept), true);
- return getFirstClasses(classes);
- }
+ return getFirstClasses(classes);
+ }
- @Override
- protected TreeSet<ObjectProperty> getSuperPropertiesImpl(ObjectProperty role) {
- NodeSet<OWLObjectPropertyExpression> properties = null;
+ @Override
+ protected TreeSet<ObjectProperty> getSuperPropertiesImpl(ObjectProperty role) {
+ NodeSet<OWLObjectPropertyExpression> properties = null;
- properties = reasoner.getSuperObjectProperties(OWLAPIConverter.getOWLAPIObjectProperty(role), true);
+ try {
+ properties = reasoner.getSuperObjectProperties(
+ OWLAPIConverter.getOWLAPIObjectProperty(role), true);
+ return getFirstObjectProperties(properties);
+ } catch (Exception e) {
+ TreeSet<ObjectProperty> roles = new TreeSet<ObjectProperty>(roleComparator);
+ return roles;
+ }
+ }
- return getFirstObjectProperties(properties);
- }
+ @Override
+ protected TreeSet<ObjectProperty> getSubPropertiesImpl(ObjectProperty role) {
+ NodeSet<OWLObjectPropertyExpression> properties = null;
- @Override
- protected TreeSet<ObjectProperty> getSubPropertiesImpl(ObjectProperty role) {
- NodeSet<OWLObjectPropertyExpression> properties = null;
+ try {
+ properties = reasoner.getSubObjectProperties(
+ OWLAPIConverter.getOWLAPIObjectProperty(role), true);
+ return getFirstObjectProperties(properties);
+ } catch (Exception e) {
+ TreeSet<ObjectProperty> roles = new TreeSet<ObjectProperty>(roleComparator);
+ return roles;
+ }
- properties = reasoner.getSubObjectProperties(OWLAPIConverter.getOWLAPIObjectProperty(role), true);
+ }
- return getFirstObjectProperties(properties);
- }
+ @Override
+ protected TreeSet<DatatypeProperty> getSuperPropertiesImpl(DatatypeProperty role) {
+ NodeSet<OWLDataProperty> properties = null;
- @Override
- protected TreeSet<DatatypeProperty> getSuperPropertiesImpl(DatatypeProperty role) {
- NodeSet<OWLDataProperty> properties = null;
+ properties = reasoner.getSuperDataProperties(OWLAPIConverter.getOWLAPIDataProperty(role),
+ true);
- properties = reasoner.getSuperDataProperties(OWLAPIConverter.getOWLAPIDataProperty(role), true);
+ return getFirstDatatypeProperties(properties);
+ }
- return getFirstDatatypeProperties(properties);
- }
+ @Override
+ protected TreeSet<DatatypeProperty> getSubPropertiesImpl(DatatypeProperty role) {
+ NodeSet<OWLDataProperty> properties = null;
- @Override
- protected TreeSet<DatatypeProperty> getSubPropertiesImpl(DatatypeProperty role) {
- NodeSet<OWLDataProperty> properties = null;
+ properties = reasoner.getSubDataProperties(OWLAPIConverter.getOWLAPIDataProperty(role),
+ true);
- properties = reasoner.getSubDataProperties(OWLAPIConverter.getOWLAPIDataProperty(role), true);
+ return getFirstDatatypeProperties(properties);
+ }
- return getFirstDatatypeProperties(properties);
- }
+ @Override
+ public boolean hasTypeImpl(Description concept, Individual individual) {
+ boolean test = false;
+ OWLClassExpression d = OWLAPIDescriptionConvertVisitor.getOWLClassExpression(concept);
+ OWLIndividual i = factory.getOWLNamedIndividual(IRI.create(individual.getName()));
+ try {
+ test = reasoner.isEntailed(factory.getOWLClassAssertionAxiom(d, i));
+ } catch (Exception e) {
+ test = true;
+ }
+ return test;
+ }
- @Override
- public boolean hasTypeImpl(Description concept, Individual individual) {
- OWLClassExpression d = OWLAPIDescriptionConvertVisitor.getOWLClassExpression(concept);
- OWLIndividual i = factory.getOWLNamedIndividual(IRI.create(individual.getName()));
- return reasoner.isEntailed(factory.getOWLClassAssertionAxiom(d, i));
- }
+ @Override
+ public SortedSet<Individual> getIndividualsImpl(Description concept) {
+ // OWLDescription d = getOWLAPIDescription(concept);
+ OWLClassExpression d = OWLAPIDescriptionConvertVisitor.getOWLClassExpression(concept);
+ Set<OWLNamedIndividual> individuals = reasoner.getInstances(d, false).getFlattened();
+ SortedSet<Individual> inds = new TreeSet<Individual>();
+ for (OWLNamedIndividual ind : individuals)
+ // ugly code
+ if (ind != null)
+ inds.add(new Individual(ind.toStringID()));
+ return inds;
+ }
- @Override
- public SortedSet<Individual> getIndividualsImpl(Description concept) {
-// OWLDescription d = getOWLAPIDescription(concept);
- OWLClassExpression d = OWLAPIDescriptionConvertVisitor.getOWLClassExpression(concept);
- Set<OWLNamedIndividual> individuals = reasoner.getInstances(d, false).getFlattened();
- SortedSet<Individual> inds = new TreeSet<Individual>();
- for (OWLNamedIndividual ind : individuals)
- //ugly code
- if (ind != null) inds.add(new Individual(ind.toStringID()));
- return inds;
- }
+ @Override
+ public Set<NamedClass> getTypesImpl(Individual individual) {
+ Set<Node<OWLClass>> result = null;
- @Override
- public Set<NamedClass> getTypesImpl(Individual individual) {
- Set<Node<OWLClass>> result = null;
+ result = reasoner.getTypes(factory.getOWLNamedIndividual(IRI.create(individual.getName())),
+ false).getNodes();
- result = reasoner.getTypes(factory.getOWLNamedIndividual(IRI.create(individual.getName())), false).getNodes();
+ return getFirstClassesNoTopBottom(result);
+ }
- return getFirstClassesNoTopBottom(result);
- }
+ @Override
+ public boolean isSatisfiableImpl() {
+ return reasoner.isSatisfiable(factory.getOWLThing());
+ }
- @Override
- public boolean isSatisfiableImpl() {
- return reasoner.isSatisfiable(factory.getOWLThing());
- }
+ @Override
+ public Description getDomainImpl(ObjectProperty objectProperty) {
+ OWLObjectProperty prop = OWLAPIConverter.getOWLAPIObjectProperty(objectProperty);
- @Override
- public Description getDomainImpl(ObjectProperty objectProperty) {
- OWLObjectProperty prop = OWLAPIConverter.getOWLAPIObjectProperty(objectProperty);
-
- // Pellet returns a set of nodes of named classes, which are more
- // general than the actual domain/range
- NodeSet<OWLClass> set;
+ // Pellet returns a set of nodes of named classes, which are more
+ // general than the actual domain/range
+ NodeSet<OWLClass> set;
try {
set = reasoner.getObjectPropertyDomains(prop, false);
return getDescriptionFromReturnedDomain(set);
- } catch (InconsistentOntologyException e) {
- e.printStackTrace();
- } catch (FreshEntitiesException e) {
- e.printStackTrace();
- } catch (TimeOutException e) {
- e.printStackTrace();
- } catch (ReasonerInterruptedException e) {
- e.printStackTrace();
- } catch(de.tudresden.inf.lat.cel.owlapi.UnsupportedReasonerOperationInCelException e){
- e.printStackTrace();
+ } catch (Exception e) {
+ return getDescriptionFromReturnedDomain(null);
}
- return Thing.instance;
+ }
- }
+ @Override
+ public Description getDomainImpl(DatatypeProperty datatypeProperty) {
+ OWLDataProperty prop = OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
- @Override
- public Description getDomainImpl(DatatypeProperty datatypeProperty) {
- OWLDataProperty prop = OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
+ NodeSet<OWLClass> set = reasoner.getDataPropertyDomains(prop, true);
+ return getDescriptionFromReturnedDomain(set);
- NodeSet<OWLClass> set = reasoner.getDataPropertyDomains(prop, true);
- return getDescriptionFromReturnedDomain(set);
+ }
- }
+ @Override
+ public Description getRangeImpl(ObjectProperty objectProperty) {
+ OWLObjectProperty prop = OWLAPIConverter.getOWLAPIObjectProperty(objectProperty);
- @Override
- public Description getRangeImpl(ObjectProperty objectProperty) {
- OWLObjectProperty prop = OWLAPIConverter.getOWLAPIObjectProperty(objectProperty);
-
- NodeSet<OWLClass> set;
+ NodeSet<OWLClass> set;
try {
set = reasoner.getObjectPropertyRanges(prop, true);
- if (set.isEmpty()) return new Thing();
- OWLClass oc = set.iterator().next().getRepresentativeElement();
- if (oc.isOWLThing()) {
- return Thing.instance;
- }
- return new NamedClass(oc.toStringID());
- } catch (InconsistentOntologyException e) {
- e.printStackTrace();
- } catch (FreshEntitiesException e) {
- e.printStackTrace();
- } catch (TimeOutException e) {
- e.printStackTrace();
- } catch (ReasonerInterruptedException e) {
- e.printStackTrace();
- } catch(de.tudresden.inf.lat.cel.owlapi.UnsupportedReasonerOperationInCelException e){
- e.printStackTrace();
+ if (set.isEmpty())
+ return new Thing();
+ OWLClass oc = set.iterator().next().getRepresentativeElement();
+ if (oc.isOWLThing()) {
+ return Thing.instance;
+ }
+ return new NamedClass(oc.toStringID());
+ } catch (Exception e) {
+ return Thing.instance;
}
- return Thing.instance;
+ }
- }
+ private Description getDescriptionFromReturnedDomain(NodeSet<OWLClass> set) {
+ if (set.isEmpty())
+ return new Thing();
- private Description getDescriptionFromReturnedDomain(NodeSet<OWLClass> set) {
- if (set.isEmpty()) return new Thing();
+ Set<OWLClassExpression> union = new HashSet<OWLClassExpression>();
+ Set<OWLClassExpression> domains = new HashSet<OWLClassExpression>();
- Set<OWLClassExpression> union = new HashSet<OWLClassExpression>();
- Set<OWLClassExpression> domains = new HashSet<OWLClassExpression>();
+ for (Node<OWLClass> descs : set) {
+ for (OWLClassExpression desc : descs) {
+ union.add(desc);
+ }
+ }
+ for (OWLClassExpression desc : union) {
+ boolean isSuperClass = false;
+ for (Description d : getClassHierarchy().getSubClasses(
+ OWLAPIConverter.convertClass(desc.asOWLClass()))) {
+ if (union.contains(OWLAPIConverter.getOWLAPIDescription(d))) {
+ isSuperClass = true;
+ break;
+ }
+ }
+ if (!isSuperClass) {
+ domains.add(desc);
+ }
+ }
- for (Node<OWLClass> descs : set) {
- for (OWLClassExpression desc : descs) {
- union.add(desc);
- }
- }
- for (OWLClassExpression desc : union) {
- boolean isSuperClass = false;
- for (Description d : getClassHierarchy().getSubClasses(OWLAPIConverter.convertClass(desc.asOWLClass()))) {
- if (union.contains(OWLAPIConverter.getOWLAPIDescription(d))) {
- isSuperClass = true;
- break;
- }
- }
- if (!isSuperClass) {
- domains.add(desc);
- }
- }
+ OWLClass oc = (OWLClass) domains.iterator().next();
+ if (oc.isOWLThing()) {
+ return new Thing();
+ } else {
+ return new NamedClass(oc.toStringID());
+ }
+ }
- OWLClass oc = (OWLClass) domains.iterator().next();
- if (oc.isOWLThing()) {
- return new Thing();
- } else {
- return new NamedClass(oc.toStringID());
- }
- }
+ @Override
+ public Map<Individual, SortedSet<Individual>> getPropertyMembersImpl(ObjectProperty atomicRole) {
+ OWLObjectProperty prop = OWLAPIConverter.getOWLAPIObjectProperty(atomicRole);
+ Map<Individual, SortedSet<Individual>> map = new TreeMap<Individual, SortedSet<Individual>>();
+ for (Individual i : individuals) {
+ OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(i.getName()));
- @Override
- public Map<Individual, SortedSet<Individual>> getPropertyMembersImpl(ObjectProperty atomicRole) {
- OWLObjectProperty prop = OWLAPIConverter.getOWLAPIObjectProperty(atomicRole);
- Map<Individual, SortedSet<Individual>> map = new TreeMap<Individual, SortedSet<Individual>>();
- for (Individual i : individuals) {
- OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(i.getName()));
+ // get all related individuals via OWL API
+ Set<OWLNamedIndividual> inds;
+ try {
+ inds = reasoner.getObjectPropertyValues(ind, prop).getFlattened();
+ } catch (Exception e) {
+ inds = null;
+ }
- // get all related individuals via OWL API
- Set<OWLNamedIndividual> inds = reasoner.getObjectPropertyValues(ind, prop).getFlattened();
+ // convert data back to DL-Learner structures
+ SortedSet<Individual> is = new TreeSet<Individual>();
+ try {
+ for (OWLNamedIndividual oi : inds)
+ is.add(new Individual(oi.toStringID()));
+ map.put(i, is);
+ } catch (Exception e) {
+ map = null;
+ }
+ }
+ return map;
+ }
- // convert data back to DL-Learner structures
- SortedSet<Individual> is = new TreeSet<Individual>();
- for (OWLNamedIndividual oi : inds)
- is.add(new Individual(oi.toStringID()));
- map.put(i, is);
- }
- return map;
- }
+ @Override
+ protected Map<ObjectProperty, Set<Individual>> getObjectPropertyRelationshipsImpl(
+ Individual individual) {
+ OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(individual.getName()));
+ Map<OWLObjectPropertyExpression, Set<OWLNamedIndividual>> mapAPI = new HashMap<OWLObjectPropertyExpression, Set<OWLNamedIndividual>>();
- @Override
- protected Map<ObjectProperty, Set<Individual>> getObjectPropertyRelationshipsImpl(Individual individual) {
- OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(individual.getName()));
- Map<OWLObjectPropertyExpression, Set<OWLNamedIndividual>> mapAPI = new HashMap<OWLObjectPropertyExpression, Set<OWLNamedIndividual>>();
+ // Map<OWLObjectPropertyExpression, Set<OWLIndividual>> mapAPI =
+ // ind.getObjectPropertyValues(ontology);
+ // no method found in the new reasoner interface, so we have to ask the
+ // reasoner for each property in the ontology
+ for (OWLObjectProperty prop : ontology.getObjectPropertiesInSignature(true)) {
+ try {
+ mapAPI.put(prop, reasoner.getObjectPropertyValues(ind, prop).getFlattened());
+ } catch (Exception e) {
+ mapAPI.put(prop, null);
+ }
+ }
-// Map<OWLObjectPropertyExpression, Set<OWLIndividual>> mapAPI = ind.getObjectPropertyValues(ontology);
- //no method found in the new reasoner interface, so we have to ask the reasoner for each property in the ontology
- for (OWLObjectProperty prop : ontology.getObjectPropertiesInSignature(true)) {
- mapAPI.put(prop, reasoner.getObjectPropertyValues(ind, prop).getFlattened());
- }
+ Map<ObjectProperty, Set<Individual>> map = new TreeMap<ObjectProperty, Set<Individual>>();
+ for (Entry<OWLObjectPropertyExpression, Set<OWLNamedIndividual>> entry : mapAPI.entrySet()) {
+ ObjectProperty prop = OWLAPIConverter.convertObjectProperty(entry.getKey()
+ .asOWLObjectProperty());
+ Set<Individual> inds = OWLAPIConverter.convertIndividuals(entry.getValue());
+ map.put(prop, inds);
+ }
+ return map;
+ }
- Map<ObjectProperty, Set<Individual>> map = new TreeMap<ObjectProperty, Set<Individual>>();
- for (Entry<OWLObjectPropertyExpression, Set<OWLNamedIndividual>> entry : mapAPI.entrySet()) {
- ObjectProperty prop = OWLAPIConverter.convertObjectProperty(entry.getKey().asOWLObjectProperty());
- Set<Individual> inds = OWLAPIConverter.convertIndividuals(entry.getValue());
- map.put(prop, inds);
- }
- return map;
- }
+ @Override
+ public Set<Individual> getRelatedIndividualsImpl(Individual individual,
+ ObjectProperty objectProperty) {
+ OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(individual.getName()));
+ OWLObjectProperty prop = OWLAPIConverter.getOWLAPIObjectProperty(objectProperty);
+ Set<OWLNamedIndividual> inds = null;
- @Override
- public Set<Individual> getRelatedIndividualsImpl(Individual individual, ObjectProperty objectProperty) {
- OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(individual.getName()));
- OWLObjectProperty prop = OWLAPIConverter.getOWLAPIObjectProperty(objectProperty);
- Set<OWLNamedIndividual> inds = null;
+ try {
+ inds = reasoner.getObjectPropertyValues(ind, prop).getFlattened();
+ } catch (Exception e) {
+ inds = null;
+ }
- inds = reasoner.getObjectPropertyValues(ind, prop).getFlattened();
+ // convert data back to DL-Learner structures
+ SortedSet<Individual> is = new TreeSet<Individual>();
+ for (OWLNamedIndividual oi : inds) {
+ is.add(new Individual(oi.toStringID()));
+ }
+ return is;
+ }
- // convert data back to DL-Learner structures
- SortedSet<Individual> is = new TreeSet<Individual>();
- for (OWLNamedIndividual oi : inds) {
- is.add(new Individual(oi.toStringID()));
- }
- return is;
- }
+ @Override
+ public Set<Constant> getRelatedValuesImpl(Individual individual,
+ DatatypeProperty datatypeProperty) {
+ OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(individual.getName()));
+ OWLDataProperty prop = OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
+ Set<OWLLiteral> constants = null;
- @Override
- public Set<Constant> getRelatedValuesImpl(Individual individual, DatatypeProperty datatypeProperty) {
- OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(individual.getName()));
- OWLDataProperty prop = OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
- Set<OWLLiteral> constants = null;
+ constants = reasoner.getDataPropertyValues(ind, prop);
- constants = reasoner.getDataPropertyValues(ind, prop);
+ return OWLAPIConverter.convertConstants(constants);
+ }
- return OWLAPIConverter.convertConstants(constants);
- }
+ public Map<Individual, SortedSet<Double>> getDoubleValues(DatatypeProperty datatypeProperty) {
+ OWLDataProperty prop = OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
+ Map<Individual, SortedSet<Double>> map = new TreeMap<Individual, SortedSet<Double>>();
+ for (Individual i : individuals) {
+ OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(i.getName()));
- public Map<Individual, SortedSet<Double>> getDoubleValues(DatatypeProperty datatypeProperty) {
- OWLDataProperty prop = OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
- Map<Individual, SortedSet<Double>> map = new TreeMap<Individual, SortedSet<Double>>();
- for (Individual i : individuals) {
- OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(i.getName()));
+ // get all related individuals via OWL API
+ Set<OWLLiteral> inds = null;
- // get all related individuals via OWL API
- Set<OWLLiteral> inds = null;
+ inds = reasoner.getDataPropertyValues(ind, prop);
- inds = reasoner.getDataPropertyValues(ind, prop);
+ // convert data back to DL-Learner structures
+ SortedSet<Double> is = new TreeSet<Double>();
+ for (OWLLiteral oi : inds) {
+ Double d = Double.parseDouble(oi.getLiteral());
+ is.add(d);
+ }
+ map.put(i, is);
+ }
+ return map;
+ }
- // convert data back to DL-Learner structures
- SortedSet<Double> is = new TreeSet<Double>();
- for (OWLLiteral oi : inds) {
- Double d = Double.parseDouble(oi.getLiteral());
- is.add(d);
- }
- map.put(i, is);
- }
- return map;
- }
+ @Override
+ public Map<Individual, SortedSet<Constant>> getDatatypeMembersImpl(
+ DatatypeProperty datatypeProperty) {
+ OWLDataProperty prop = OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
+ Map<Individual, SortedSet<Constant>> map = new TreeMap<Individual, SortedSet<Constant>>();
+ for (Individual i : individuals) {
+ OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(i.getName()));
- @Override
- public Map<Individual, SortedSet<Constant>> getDatatypeMembersImpl(DatatypeProperty datatypeProperty) {
- OWLDataProperty prop = OWLAPIConverter.getOWLAPIDataProperty(datatypeProperty);
- Map<Individual, SortedSet<Constant>> map = new TreeMap<Individual, SortedSet<Constant>>();
- for (Individual i : individuals) {
- OWLNamedIndividual ind = factory.getOWLNamedIndividual(IRI.create(i.getName()));
+ // get all related values via OWL API
+ Set<OWLLiteral> constants = null;
- // get all related values via OWL API
- Set<OWLLiteral> constants = null;
+ constants = reasoner.getDataPropertyValues(ind, prop);
- constants = reasoner.getDataPropertyValues(ind, prop);
+ // convert data back to DL-Learner structures
+ SortedSet<Constant> is = new TreeSet<Constant>();
+ for (OWLLiteral literal : constants) {
+ // for typed constants we have to figure out the correct
+ // data type and value
+ if (!literal.isRDFPlainLiteral()) {
+ Datatype dt = OWLAPIConverter.convertDatatype(literal.getDatatype());
+ is.add(new TypedConstant(literal.getLiteral(), dt));
+ // for untyped constants we have to figure out the value
+ // and language tag (if any)
+ } else {
+ if (literal.hasLang())
+ is.add(new UntypedConstant(literal.getLiteral(), literal.getLa...
[truncated message content] |
