Menu
▾
▴
dl-learner-svn
|
From: <jen...@us...> - 2008-07-31 10:15:35
|
Revision: 1032
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1032&view=rev
Author: jenslehmann
Date: 2008-07-31 10:15:31 +0000 (Thu, 31 Jul 2008)
Log Message:
-----------
fix for bug #2033082
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-07-31 10:10:18 UTC (rev 1031)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-07-31 10:15:31 UTC (rev 1032)
@@ -26,6 +26,7 @@
import java.util.Collection;
import java.util.Comparator;
import java.util.HashSet;
+import java.util.Iterator;
import java.util.LinkedList;
import java.util.List;
import java.util.Map;
@@ -332,15 +333,18 @@
for(OWLDataProperty owlProperty : owlDatatypeProperties) {
DatatypeProperty dtp = new DatatypeProperty(owlProperty.getURI().toString());
Set<OWLDataRange> ranges = owlProperty.getRanges(allImports);
- OWLDataRange range = ranges.iterator().next();
- if(range.isDataType()) {
- URI uri = ((OWLDataType)range).getURI();
- if(uri.equals(Datatype.BOOLEAN.getURI()))
- booleanDatatypeProperties.add(dtp);
- else if(uri.equals(Datatype.DOUBLE.getURI()))
- doubleDatatypeProperties.add(dtp);
- else if(uri.equals(Datatype.INT.getURI()))
- intDatatypeProperties.add(dtp);
+ Iterator<OWLDataRange> it = ranges.iterator();
+ if(it.hasNext()) {
+ OWLDataRange range = it.next();
+ if(range.isDataType()) {
+ URI uri = ((OWLDataType)range).getURI();
+ if(uri.equals(Datatype.BOOLEAN.getURI()))
+ booleanDatatypeProperties.add(dtp);
+ else if(uri.equals(Datatype.DOUBLE.getURI()))
+ doubleDatatypeProperties.add(dtp);
+ else if(uri.equals(Datatype.INT.getURI()))
+ intDatatypeProperties.add(dtp);
+ }
}
datatypeProperties.add(dtp);
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lor...@us...> - 2008-09-17 07:54:24
|
Revision: 1229
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1229&view=rev
Author: lorenz_b
Date: 2008-09-17 14:54:20 +0000 (Wed, 17 Sep 2008)
Log Message:
-----------
added method getInconsistentOWLClasses()
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-09-17 13:26:39 UTC (rev 1228)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-09-17 14:54:20 UTC (rev 1229)
@@ -979,5 +979,18 @@
}
return concepts;
}
+
+
+ public Set<OWLClass> getInconsistentOWLClasses(){
+
+ try {
+ return reasoner.getInconsistentClasses();
+ } catch (OWLReasonerException e) {
+ e.printStackTrace();
+ throw new Error("Inconsistens classes check error in OWL API.");
+ }
+
+ }
+
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ku...@us...> - 2008-09-30 15:28:34
|
Revision: 1322
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1322&view=rev
Author: kurzum
Date: 2008-09-30 15:28:11 +0000 (Tue, 30 Sep 2008)
Log Message:
-----------
the owlApiOntology is now handed over to the reasoner directly
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-09-30 14:50:08 UTC (rev 1321)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-09-30 15:28:11 UTC (rev 1322)
@@ -206,7 +206,8 @@
url = ((OWLFile)source).getURL();
}
else if(source instanceof SparqlKnowledgeSource) {
- url=((SparqlKnowledgeSource)source).getOntologyFragmentURL();
+ source = new OWLAPIOntology(((SparqlKnowledgeSource)source).getOWLAPIOntology());
+ //url=((SparqlKnowledgeSource)source).getOntologyFragmentURL();
}
try {
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jen...@us...> - 2008-10-11 10:25:18
|
Revision: 1367
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1367&view=rev
Author: jenslehmann
Date: 2008-10-11 10:25:09 +0000 (Sat, 11 Oct 2008)
Log Message:
-----------
removed System.out
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-10-11 10:22:01 UTC (rev 1366)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2008-10-11 10:25:09 UTC (rev 1367)
@@ -307,7 +307,6 @@
boolean owlAPIbuggy = true; // remove once this problem has been resolved in OWL API
if(!owlAPIbuggy || sources.size() < 2) {
for(OWLOntology ont : owlAPIOntologies) {
- System.out.println(ont);
if(!reasoner.isConsistent(ont)) {
inconsistentOntology = true;
throw new ComponentInitException("Inconsistent ontologies.");
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lor...@us...> - 2009-03-27 21:44:12
|
Revision: 1670
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1670&view=rev
Author: lorenz_b
Date: 2009-03-27 21:43:54 +0000 (Fri, 27 Mar 2009)
Log Message:
-----------
implemented method remainsSatisfiable(Axiom axiom)
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 2009-03-27 11:16:11 UTC (rev 1669)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2009-03-27 21:43:54 UTC (rev 1670)
@@ -72,6 +72,7 @@
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.OWLAnnotation;
import org.semanticweb.owl.model.OWLAxiom;
import org.semanticweb.owl.model.OWLClass;
@@ -87,12 +88,14 @@
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;
import org.semanticweb.owl.model.OWLOntologyStorageException;
import org.semanticweb.owl.model.OWLTypedConstant;
import org.semanticweb.owl.model.OWLUntypedConstant;
+import org.semanticweb.owl.model.RemoveAxiom;
import org.semanticweb.owl.model.UnknownOWLOntologyException;
import org.semanticweb.owl.util.SimpleURIMapper;
import org.semanticweb.owl.vocab.NamespaceOWLOntologyFormat;
@@ -119,6 +122,8 @@
}
private OWLReasoner reasoner;
+ private OWLOntologyManager manager;
+ private OWLOntology ontology;
// the data factory is used to generate OWL API objects
private OWLDataFactory factory;
// static factory
@@ -188,7 +193,7 @@
individuals = new TreeSet<Individual>();
// create OWL API ontology manager
- OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
+ manager = OWLManager.createOWLOntologyManager();
// it is a bit cumbersome to obtain all classes, because there
// are no reasoner queries to obtain them => hence we query them
@@ -216,7 +221,7 @@
}
try {
- OWLOntology ontology;
+
if(source instanceof OWLAPIOntology) {
ontology = ((OWLAPIOntology)source).getOWLOntolgy();
} else if (source instanceof SparqlKnowledgeSource) {
@@ -996,7 +1001,7 @@
return reasoner.getInconsistentClasses();
} catch (OWLReasonerException e) {
e.printStackTrace();
- throw new Error("Inconsistens classes check error in OWL API.");
+ throw new Error("Inconsistent classes check error in OWL API.");
}
}
@@ -1019,10 +1024,22 @@
*/
@Override
public boolean remainsSatisfiableImpl(Axiom axiom) {
+ boolean consistent = true;
OWLAxiom axiomOWLAPI = OWLAPIAxiomConvertVisitor.convertAxiom(axiom);
+ try {
+ manager.applyChange(new AddAxiom(ontology, axiomOWLAPI));
+ consistent = reasoner.isConsistent(ontology);
+ manager.applyChange(new RemoveAxiom(ontology, axiomOWLAPI));
+
+ } catch (OWLOntologyChangeException e) {
+
+ e.printStackTrace();
+ } catch (OWLReasonerException e) {
+
+ e.printStackTrace();
+ }
- // TODO Auto-generated method stub
- return false;
+ return consistent;
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lor...@us...> - 2009-04-01 09:45:41
|
Revision: 1674
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1674&view=rev
Author: lorenz_b
Date: 2009-04-01 09:45:26 +0000 (Wed, 01 Apr 2009)
Log Message:
-----------
fixed methods getDomainImpl() according to type cast exceptions from HashSet to OWLClass
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 2009-04-01 08:50:07 UTC (rev 1673)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2009-04-01 09:45:26 UTC (rev 1674)
@@ -634,7 +634,7 @@
Set<Set<OWLDescription>> set = reasoner.getDomains(prop);
if(set.size()==0)
return new Thing();
- OWLClass oc = (OWLClass) set.iterator().next();
+ OWLClass oc = (OWLClass) set.iterator().next().iterator().next();
return new NamedClass(oc.getURI().toString());
} catch (OWLReasonerException e) {
throw new Error(e);
@@ -653,7 +653,7 @@
Set<Set<OWLDescription>> set = reasoner.getDomains(prop);
if(set.size()==0)
return new Thing();
- OWLClass oc = (OWLClass) set.iterator().next();
+ OWLClass oc = (OWLClass) set.iterator().next().iterator().next();
return new NamedClass(oc.getURI().toString());
} catch (OWLReasonerException e) {
throw new Error(e);
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lor...@us...> - 2009-04-01 11:01:22
|
Revision: 1676
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1676&view=rev
Author: lorenz_b
Date: 2009-04-01 11:01:11 +0000 (Wed, 01 Apr 2009)
Log Message:
-----------
classification output on console disabled for pellet
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 2009-04-01 10:14:48 UTC (rev 1675)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2009-04-01 11:01:11 UTC (rev 1676)
@@ -69,6 +69,7 @@
import org.dllearner.utilities.owl.OWLAPIConverter;
import org.dllearner.utilities.owl.OWLAPIDescriptionConvertVisitor;
import org.dllearner.utilities.owl.RoleComparator;
+import org.mindswap.pellet.PelletOptions;
import org.semanticweb.owl.apibinding.OWLManager;
import org.semanticweb.owl.inference.OWLReasoner;
import org.semanticweb.owl.inference.OWLReasonerException;
@@ -293,6 +294,8 @@
// instantiate Pellet reasoner
reasoner = new org.mindswap.pellet.owlapi.Reasoner(manager);
+ //set classification output to "none", while default is "console"
+ PelletOptions.USE_CLASSIFICATION_MONITOR = PelletOptions.MonitorType.valueOf("NONE");
// change log level to WARN for Pellet, because otherwise log
// output will be very large
Logger pelletLogger = Logger.getLogger("org.mindswap.pellet");
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jen...@us...> - 2009-04-14 08:12:00
|
Revision: 1698
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1698&view=rev
Author: jenslehmann
Date: 2009-04-14 08:11:55 +0000 (Tue, 14 Apr 2009)
Log Message:
-----------
workaround for Pellet bug in 2.0RC5
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 2009-04-14 07:50:37 UTC (rev 1697)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2009-04-14 08:11:55 UTC (rev 1698)
@@ -1059,7 +1059,12 @@
}
try {
- consistent = reasoner.isConsistent(ontology);
+ // workaround due to a bug in Pellet 2.0RC (see PelletBug.java und PelletBug2.java)
+ if(configurator.getReasonerType().equals("pellet")) {
+ consistent = ((org.mindswap.pellet.owlapi.Reasoner)reasoner).isConsistent();
+ } else {
+ consistent = reasoner.isConsistent(ontology);
+ }
} catch (OWLReasonerException e) {
e.printStackTrace();
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lor...@us...> - 2009-10-02 14:21:16
|
Revision: 1872
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1872&view=rev
Author: lorenz_b
Date: 2009-10-02 14:20:58 +0000 (Fri, 02 Oct 2009)
Log Message:
-----------
disabled console output from pellet 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 2009-10-01 12:05:40 UTC (rev 1871)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2009-10-02 14:20:58 UTC (rev 1872)
@@ -299,7 +299,7 @@
manager.addOntologyChangeListener((org.mindswap.pellet.owlapi.Reasoner)reasoner);
//set classification output to "none", while default is "console"
- PelletOptions.USE_CLASSIFICATION_MONITOR = MonitorType.CONSOLE;
+ PelletOptions.USE_CLASSIFICATION_MONITOR = MonitorType.NONE;
// change log level to WARN for Pellet, because otherwise log
// output will be very large
Logger pelletLogger = Logger.getLogger("org.mindswap.pellet");
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lor...@us...> - 2010-02-10 11:57:26
|
Revision: 2004
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2004&view=rev
Author: lorenz_b
Date: 2010-02-10 11:57:19 +0000 (Wed, 10 Feb 2010)
Log Message:
-----------
Added method stub to get the asserted class definitions.
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 2010-02-10 10:50:42 UTC (rev 2003)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2010-02-10 11:57:19 UTC (rev 2004)
@@ -53,6 +53,7 @@
import org.dllearner.core.owl.DatatypeProperty;
import org.dllearner.core.owl.Description;
import org.dllearner.core.owl.Entity;
+import org.dllearner.core.owl.EquivalentClassesAxiom;
import org.dllearner.core.owl.Individual;
import org.dllearner.core.owl.KB;
import org.dllearner.core.owl.NamedClass;
@@ -85,6 +86,7 @@
import org.semanticweb.owl.model.OWLDataType;
import org.semanticweb.owl.model.OWLDescription;
import org.semanticweb.owl.model.OWLEntity;
+import org.semanticweb.owl.model.OWLEquivalentClassesAxiom;
import org.semanticweb.owl.model.OWLIndividual;
import org.semanticweb.owl.model.OWLLabelAnnotation;
import org.semanticweb.owl.model.OWLNamedObject;
@@ -1104,5 +1106,21 @@
return consistent;
}
+ /**
+ * Returns asserted class definitions of given class
+ * @param nc the class
+ * @return the asserted class definitions
+ */
+ public Set<Description> getAssertedDefinitions(NamedClass nc){
+ OWLClass owlClass = OWLAPIDescriptionConvertVisitor.getOWLDescription(nc).asOWLClass();
+ Set<OWLDescription> OWLAPIDefinitions = owlClass.getEquivalentClasses(new HashSet<OWLOntology>(owlAPIOntologies));
+
+ // TODO converting to DL-Learner format
+ Set<Description> definitions = new HashSet<Description>();
+
+ return definitions;
+
+ }
+
}
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <lor...@us...> - 2010-07-08 14:20:18
|
Revision: 2189
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2189&view=rev
Author: lorenz_b
Date: 2010-07-08 14:20:09 +0000 (Thu, 08 Jul 2010)
Log Message:
-----------
"bugfix"
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 2010-07-07 14:27:27 UTC (rev 2188)
+++ trunk/src/dl-learner/org/dllearner/reasoning/OWLAPIReasoner.java 2010-07-08 14:20:09 UTC (rev 2189)
@@ -582,7 +582,9 @@
Set<OWLNamedIndividual> individuals = reasoner.getInstances(d, false).getFlattened();
SortedSet<Individual> inds = new TreeSet<Individual>();
for(OWLNamedIndividual ind : individuals)
- inds.add(new Individual(ind.toStringID()));
+ //ugly code
+ if(ind != null)
+ inds.add(new Individual(ind.toStringID()));
return inds;
}
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