Menu
▾
▴
dl-learner-svn
|
From: <jen...@us...> - 2008-01-07 16:24:42
|
Revision: 350
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=350&view=rev
Author: jenslehmann
Date: 2008-01-07 08:24:40 -0800 (Mon, 07 Jan 2008)
Log Message:
-----------
fixed some warnings
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-01-07 16:22:54 UTC (rev 349)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-01-07 16:24:40 UTC (rev 350)
@@ -19,7 +19,6 @@
*/
package org.dllearner.reasoning;
-import java.net.MalformedURLException;
import java.net.URI;
import java.net.URISyntaxException;
import java.net.URL;
@@ -27,7 +26,6 @@
import java.util.Comparator;
import java.util.HashSet;
import java.util.LinkedList;
-import java.util.Map;
import java.util.Set;
import java.util.SortedSet;
import java.util.TreeMap;
@@ -493,6 +491,7 @@
return roles;
}
+ @SuppressWarnings({"unused"})
private Set<Concept> owlClassesToAtomicConcepts(Set<OWLClass> owlClasses) {
Set<Concept> concepts = new HashSet<Concept>();
for(OWLClass owlClass : owlClasses)
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jen...@us...> - 2008-04-03 09:34:34
|
Revision: 759
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=759&view=rev
Author: jenslehmann
Date: 2008-04-03 02:34:16 -0700 (Thu, 03 Apr 2008)
Log Message:
-----------
removed calls to deprecated method in OWL API Reasoner
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-04-02 17:17:17 UTC (rev 758)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-04-03 09:34:16 UTC (rev 759)
@@ -42,37 +42,20 @@
import org.dllearner.core.config.ConfigOption;
import org.dllearner.core.config.InvalidConfigOptionValueException;
import org.dllearner.core.config.StringConfigOption;
-import org.dllearner.core.owl.AssertionalAxiom;
-import org.dllearner.core.owl.ClassAssertionAxiom;
import org.dllearner.core.owl.Constant;
import org.dllearner.core.owl.Datatype;
import org.dllearner.core.owl.DatatypeProperty;
import org.dllearner.core.owl.DatatypePropertyHierarchy;
import org.dllearner.core.owl.Description;
-import org.dllearner.core.owl.EquivalentClassesAxiom;
-import org.dllearner.core.owl.FunctionalObjectPropertyAxiom;
import org.dllearner.core.owl.Individual;
-import org.dllearner.core.owl.Intersection;
-import org.dllearner.core.owl.InverseObjectPropertyAxiom;
import org.dllearner.core.owl.KB;
import org.dllearner.core.owl.NamedClass;
-import org.dllearner.core.owl.Negation;
import org.dllearner.core.owl.Nothing;
-import org.dllearner.core.owl.ObjectAllRestriction;
import org.dllearner.core.owl.ObjectProperty;
-import org.dllearner.core.owl.ObjectPropertyAssertion;
import org.dllearner.core.owl.ObjectPropertyHierarchy;
-import org.dllearner.core.owl.ObjectSomeRestriction;
-import org.dllearner.core.owl.PropertyAxiom;
-import org.dllearner.core.owl.SubClassAxiom;
-import org.dllearner.core.owl.SubObjectPropertyAxiom;
import org.dllearner.core.owl.SubsumptionHierarchy;
-import org.dllearner.core.owl.SymmetricObjectPropertyAxiom;
-import org.dllearner.core.owl.TerminologicalAxiom;
import org.dllearner.core.owl.Thing;
-import org.dllearner.core.owl.TransitiveObjectPropertyAxiom;
import org.dllearner.core.owl.TypedConstant;
-import org.dllearner.core.owl.Union;
import org.dllearner.core.owl.UntypedConstant;
import org.dllearner.kb.OWLFile;
import org.dllearner.utilities.ConceptComparator;
@@ -80,8 +63,6 @@
import org.semanticweb.owl.apibinding.OWLManager;
import org.semanticweb.owl.inference.OWLReasoner;
import org.semanticweb.owl.inference.OWLReasonerException;
-import org.semanticweb.owl.model.AddAxiom;
-import org.semanticweb.owl.model.OWLAxiom;
import org.semanticweb.owl.model.OWLClass;
import org.semanticweb.owl.model.OWLConstant;
import org.semanticweb.owl.model.OWLDataFactory;
@@ -93,7 +74,6 @@
import org.semanticweb.owl.model.OWLNamedObject;
import org.semanticweb.owl.model.OWLObjectProperty;
import org.semanticweb.owl.model.OWLOntology;
-import org.semanticweb.owl.model.OWLOntologyChangeException;
import org.semanticweb.owl.model.OWLOntologyCreationException;
import org.semanticweb.owl.model.OWLOntologyFormat;
import org.semanticweb.owl.model.OWLOntologyManager;
@@ -476,7 +456,7 @@
private TreeSet<Description> getMoreGeneralConcepts(Description concept) {
Set<Set<OWLClass>> classes = null;
try {
- classes = reasoner.getSuperClasses(getOWLAPIDescription(concept));
+ classes = reasoner.getSuperClasses(OWLAPIDescriptionConvertVisitor.getOWLDescription(concept));
} catch (OWLReasonerException e) {
e.printStackTrace();
throw new Error("OWL API classification error.");
@@ -487,7 +467,7 @@
private TreeSet<Description> getMoreSpecialConcepts(Description concept) {
Set<Set<OWLClass>> classes = null;
try {
- classes = reasoner.getSubClasses(getOWLAPIDescription(concept));
+ classes = reasoner.getSubClasses(OWLAPIDescriptionConvertVisitor.getOWLDescription(concept));
} catch (OWLReasonerException e) {
e.printStackTrace();
throw new Error("OWL API classification error.");
@@ -541,7 +521,7 @@
@Override
public boolean instanceCheck(Description concept, Individual individual) {
- OWLDescription d = getOWLAPIDescription(concept);
+ OWLDescription d = OWLAPIDescriptionConvertVisitor.getOWLDescription(concept);
OWLIndividual i = factory.getOWLIndividual(URI.create(individual.getName()));
try {
return reasoner.hasType(i,d,false);
@@ -837,147 +817,14 @@
private static OWLDataProperty getOWLAPIDescription(DatatypeProperty datatypeProperty) {
return staticFactory.getOWLDataProperty(URI.create(datatypeProperty.getName()));
- }
+ }
- @Deprecated
- public static OWLDescription getOWLAPIDescription(Description concept) {
- if (concept instanceof NamedClass) {
- return staticFactory.getOWLClass(URI.create(((NamedClass)concept).getName()));
- } else if (concept instanceof Nothing) {
- return staticFactory.getOWLNothing();
- } else if (concept instanceof Thing) {
- return staticFactory.getOWLThing();
- } else if (concept instanceof Negation) {
- return staticFactory.getOWLObjectComplementOf(
- getOWLAPIDescription(concept.getChild(0)));
- } else if (concept instanceof ObjectAllRestriction) {
- OWLObjectProperty role = staticFactory.getOWLObjectProperty(
- URI.create(((ObjectAllRestriction) concept).getRole().getName()));
- OWLDescription d = getOWLAPIDescription(concept.getChild(0));
- return staticFactory.getOWLObjectAllRestriction(role, d);
- } else if(concept instanceof ObjectSomeRestriction) {
- OWLObjectProperty role = staticFactory.getOWLObjectProperty(
- URI.create(((ObjectSomeRestriction) concept).getRole().getName()));
- OWLDescription d = getOWLAPIDescription(concept.getChild(0));
- return staticFactory.getOWLObjectSomeRestriction(role, d);
- } else if(concept instanceof Intersection) {
- Set<OWLDescription> descriptions = new HashSet<OWLDescription>();
- for(Description child : concept.getChildren())
- descriptions.add(getOWLAPIDescription(child));
- return staticFactory.getOWLObjectIntersectionOf(descriptions);
- } else if(concept instanceof Union) {
- Set<OWLDescription> descriptions = new HashSet<OWLDescription>();
- for(Description child : concept.getChildren())
- descriptions.add(getOWLAPIDescription(child));
- return staticFactory.getOWLObjectUnionOf(descriptions);
- }
-
- throw new IllegalArgumentException("Unsupported concept type.");
- }
-
- @Deprecated
- public static void fillOWLAPIOntology(OWLOntologyManager manager, OWLOntology ontology, KB kb) {
-
- // OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
- OWLDataFactory factory = manager.getOWLDataFactory();
- // OWLOntology ontology = manager.createOntology(ontologyURI);
- try {
- for (AssertionalAxiom axiom : kb.getAbox()) {
- if (axiom instanceof ClassAssertionAxiom) {
- OWLDescription d = getOWLAPIDescription(((ClassAssertionAxiom) axiom)
- .getConcept());
- OWLIndividual i = factory.getOWLIndividual(URI.create(
- ((ClassAssertionAxiom) axiom).getIndividual().getName()));
- OWLAxiom axiomOWLAPI = factory.getOWLClassAssertionAxiom(i, d);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
-
- manager.applyChange(addAxiom);
-
- } else if (axiom instanceof ObjectPropertyAssertion) {
- OWLObjectProperty role = factory.getOWLObjectProperty(
- URI.create(((ObjectPropertyAssertion) axiom).getRole().getName()));
- OWLIndividual i1 = factory.getOWLIndividual(
- URI.create(((ObjectPropertyAssertion) axiom).getIndividual1().getName()));
- OWLIndividual i2 = factory.getOWLIndividual(
- URI.create(((ObjectPropertyAssertion) axiom).getIndividual2().getName()));
- OWLAxiom axiomOWLAPI = factory.getOWLObjectPropertyAssertionAxiom(i1, role, i2);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
- manager.applyChange(addAxiom);
- }
- }
-
- for (PropertyAxiom axiom : kb.getRbox()) {
- if (axiom instanceof FunctionalObjectPropertyAxiom) {
- OWLObjectProperty role = factory.getOWLObjectProperty(
- URI.create(((FunctionalObjectPropertyAxiom) axiom).getRole().getName()));
- OWLAxiom axiomOWLAPI = factory.getOWLFunctionalObjectPropertyAxiom(role);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
- manager.applyChange(addAxiom);
- } else if (axiom instanceof SymmetricObjectPropertyAxiom) {
- OWLObjectProperty role = factory.getOWLObjectProperty(
- URI.create(((SymmetricObjectPropertyAxiom) axiom).getRole().getName()));
- OWLAxiom axiomOWLAPI = factory.getOWLSymmetricObjectPropertyAxiom(role);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
- manager.applyChange(addAxiom);
- } else if (axiom instanceof TransitiveObjectPropertyAxiom) {
- OWLObjectProperty role = factory.getOWLObjectProperty(
- URI.create(((TransitiveObjectPropertyAxiom) axiom).getRole().getName()));
- OWLAxiom axiomOWLAPI = factory.getOWLTransitiveObjectPropertyAxiom(role);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
- manager.applyChange(addAxiom);
- } else if (axiom instanceof InverseObjectPropertyAxiom) {
- OWLObjectProperty role = factory.getOWLObjectProperty(
- URI.create(((InverseObjectPropertyAxiom) axiom).getRole().getName()));
- OWLObjectProperty inverseRole = factory.getOWLObjectProperty(
- URI.create(((InverseObjectPropertyAxiom) axiom).getInverseRole().getName()));
- OWLAxiom axiomOWLAPI = factory.getOWLInverseObjectPropertiesAxiom(role, inverseRole);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
- manager.applyChange(addAxiom);
- } else if (axiom instanceof SubObjectPropertyAxiom) {
- OWLObjectProperty role = factory.getOWLObjectProperty(
- URI.create(((SubObjectPropertyAxiom) axiom).getRole().getName()));
- OWLObjectProperty subRole = factory.getOWLObjectProperty(
- URI.create(((SubObjectPropertyAxiom) axiom).getSubRole().getName()));
- OWLAxiom axiomOWLAPI = factory.getOWLSubObjectPropertyAxiom(subRole, role);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
- manager.applyChange(addAxiom);
- }
- }
-
- for (TerminologicalAxiom axiom : kb.getTbox()) {
- if (axiom instanceof EquivalentClassesAxiom) {
- OWLDescription d1 = getOWLAPIDescription(((EquivalentClassesAxiom) axiom).getConcept1());
- OWLDescription d2 = getOWLAPIDescription(((EquivalentClassesAxiom) axiom).getConcept2());
- Set<OWLDescription> ds = new HashSet<OWLDescription>();
- ds.add(d1);
- ds.add(d2);
- OWLAxiom axiomOWLAPI = factory.getOWLEquivalentClassesAxiom(ds);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
- manager.applyChange(addAxiom);
- } else if (axiom instanceof SubClassAxiom) {
- OWLDescription subConcept = getOWLAPIDescription(((SubClassAxiom) axiom)
- .getSubConcept());
- OWLDescription superConcept = getOWLAPIDescription(((SubClassAxiom) axiom)
- .getSuperConcept());
- OWLAxiom axiomOWLAPI = factory.getOWLSubClassAxiom(subConcept, superConcept);
- AddAxiom addAxiom = new AddAxiom(ontology, axiomOWLAPI);
- manager.applyChange(addAxiom);
- }
- }
- } catch (OWLOntologyChangeException e) {
- // TODO Auto-generated catch block
- e.printStackTrace();
- }
- }
-
/**
* Test
*
* @param args
*/
public static void main(String[] args) {
- // System.out.println(System.getProperty("java.library.path"));
-
String uri = "http://www.co-ode.org/ontologies/pizza/2007/02/12/pizza.owl";
OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hee...@us...> - 2008-06-10 15:08:27
|
Revision: 952
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=952&view=rev
Author: heeroyuy
Date: 2008-06-10 08:08:22 -0700 (Tue, 10 Jun 2008)
Log Message:
-----------
-modified init() to accept OWLAPIOntology
Modified Paths:
--------------
trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
Modified: trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-06-10 15:07:29 UTC (rev 951)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-06-10 15:08:22 UTC (rev 952)
@@ -58,6 +58,7 @@
import org.dllearner.core.owl.TypedConstant;
import org.dllearner.core.owl.UntypedConstant;
import org.dllearner.kb.OWLFile;
+import org.dllearner.kb.OWLAPIOntology;
import org.dllearner.kb.sparql.SparqlKnowledgeSource;
import org.dllearner.utilities.owl.ConceptComparator;
import org.dllearner.utilities.owl.RoleComparator;
@@ -182,7 +183,7 @@
for(KnowledgeSource source : sources) {
- if(source instanceof OWLFile || source instanceof SparqlKnowledgeSource ) {
+ if(source instanceof OWLFile || source instanceof SparqlKnowledgeSource || source instanceof OWLAPIOntology) {
URL url=null;
if(source instanceof OWLFile){
url = ((OWLFile)source).getURL();
@@ -192,6 +193,30 @@
}
try {
+ if(source instanceof OWLAPIOntology)
+ {
+ System.out.println(source instanceof OWLAPIOntology);
+ System.out.println("JUHU es geht");
+ OWLOntology ontology = ((OWLAPIOntology)source).getOWLOntolgy();
+ owlAPIOntologies.add(ontology);
+ allImports.addAll(manager.getImportsClosure(ontology));
+ classes.addAll(ontology.getReferencedClasses());
+ owlObjectProperties.addAll(ontology.getReferencedObjectProperties());
+ owlDatatypeProperties.addAll(ontology.getReferencedDataProperties());
+ owlIndividuals.addAll(ontology.getReferencedIndividuals());
+
+ // TODO: this obviously works only for exactly one knowledge source
+ OWLOntologyFormat format = manager.getOntologyFormat(ontology);
+ if(format instanceof NamespaceOWLOntologyFormat)
+ {
+ prefixes = ((NamespaceOWLOntologyFormat)format).getNamespacesByPrefixMap();
+ baseURI = prefixes.get("");
+ prefixes.remove("");
+ }
+ }
+ else
+ {
+ System.out.println(":'S");
OWLOntology ontology = manager.loadOntologyFromPhysicalURI(url.toURI());
owlAPIOntologies.add(ontology);
allImports.addAll(manager.getImportsClosure(ontology));
@@ -207,8 +232,10 @@
baseURI = prefixes.get("");
prefixes.remove("");
}
+ }
- } catch (OWLOntologyCreationException e) {
+ }
+ catch (OWLOntologyCreationException e) {
e.printStackTrace();
} catch (URISyntaxException e) {
e.printStackTrace();
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X