Menu
▾
▴
Re: [OWLAPI-developer] Help!: OWL inconsistency explanation
|
From: Shyama <shy...@gm...> - 2021-08-04 08:46:17
|
Hi
I am sorry to bother you again. I spent 4 hours resolving this issue.
As you instructed, I tried the new version of the OWL explanation. However,
in the new version, I have to initialize "Supplier<OWLOntologyManager> m =
??". I could not find, how to initialize "m" in here.
Thus, finally, I pass NULL for Supplier<OWLOntologyManager> m and run the
code. Unfortunately, still, I got exceptions at the last line:
System.out.println(x.createExplanationGenerator(o).getExplanations(axT,
10));
I have attached versions of the jars, and my code, and the output for your
reference. Thanking you in advance.
------------------- New Project & POM dependencies-----------------
<dependencies>
<dependency>
<groupId>net.sourceforge.owlapi</groupId>
<artifactId>owlapi-distribution</artifactId>
<version>5.1.19</version>
</dependency>
<dependency>
<groupId>net.sourceforge.owlapi</groupId>
<artifactId>org.semanticweb.hermit</artifactId>
<version>1.4.3.517</version>
</dependency>
<dependency>
<groupId>net.sourceforge.owlapi</groupId>
<artifactId>owlexplanation</artifactId>
<version>5.0.0</version>
</dependency>
-------------------------------
---------------------my Code-----------------------
public static void main(String[] args) throws IOException,
OWLOntologyCreationException {
Supplier<OWLOntologyManager> m =null;
System.out.println("OWL API Versions.......................");
System.out.println(System.getProperty("java.class.path"));
System.out.println("My Code Results.......................");
OWLOntologyManager man = OWLManager.createOWLOntologyManager();
IRI IOR = IRI.create("
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1");
OWLOntology o;
o = man.createOntology(IOR);
OWLDataFactory df =
o.getOWLOntologyManager().getOWLDataFactory();
OWLClass A = df.getOWLClass(IOR + "#A");
OWLClass B = df.getOWLClass(IOR + "#B");
OWLClass X = df.getOWLClass(IOR + "#X");
OWLObjectProperty R = df.getOWLObjectProperty(IOR + "#R");
OWLObjectProperty S = df.getOWLObjectProperty(IOR + "#S");
OWLSubClassOfAxiom ax =
df.getOWLSubClassOfAxiom(df.getOWLObjectSomeValuesFrom(R, A),
df.getOWLObjectSomeValuesFrom(S, B));
o.add(ax);
OWLObjectProperty hasValue = df.getOWLObjectProperty(IOR +
"#hasValue");
OWLDeclarationAxiom d_hasValue =
df.getOWLDeclarationAxiom(hasValue);
o.add(d_hasValue);
// create an inconsistent ontology by declaring an individual
member of two disjoint classes
OWLIndividual i = df.getOWLNamedIndividual(IOR +
"#testInv");
OWLDisjointClassesAxiom ax2 =
df.getOWLDisjointClassesAxiom(A, B);
o.add(ax2 );
o.add(df.getOWLClassAssertionAxiom(A, i));
o.add( df.getOWLClassAssertionAxiom(B, i));
System.out.println(o);
OWLReasonerFactory hermitreasonerFactory = new ReasonerFactory();
OWLReasoner r = hermitreasonerFactory.createReasoner(o);
System.out.println("check consistency: "+ r.isConsistent());
OWLAxiom axT = df.getOWLSubClassOfAxiom(df.getOWLThing(),
df.getOWLNothing());
InconsistentOntologyExplanationGeneratorFactory x = new
InconsistentOntologyExplanationGeneratorFactory(hermitreasonerFactory, df,
m, 10);
System.out.println(x.createExplanationGenerator(o).getExplanations(axT,
10));
}
--------------------------------------
-----------------------OUTPUT---------------------
OWL API Versions.......................
C:\Users\HP\Documents\NetBeansProjects\TestOWLExplanation\target\classes;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-distribution\5.1.19\owlapi-distribution-5.1.19.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-compatibility\5.1.19\owlapi-compatibility-5.1.19.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-apibinding\5.1.19\owlapi-apibinding-5.1.19.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-impl\5.1.19\owlapi-impl-5.1.19.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-oboformat\5.1.19\owlapi-oboformat-5.1.19.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-rio\5.1.19\owlapi-rio-5.1.19.jar;C:\Users\HP\.m2\repository\com\fasterxml\jackson\core\jackson-core\2.9.10\jackson-core-2.9.10.jar;C:\Users\HP\.m2\repository\com\fasterxml\jackson\core\jackson-databind\2.9.10.8\jackson-databind-2.9.10.8.jar;C:\Users\HP\.m2\repository\com\fasterxml\jackson\core\jackson-annotations\2.9.10\jackson-annotations-2.9.10.jar;C:\Users\HP\.m2\repository\org\apache\commons\commons-rdf-api\0.5.0\commons-rdf-api-0.5.0.jar;C:\Users\HP\.m2\repository\org\tukaani\xz\1.6\xz-1.6.jar;C:\Users\HP\.m2\repository\org\slf4j\slf4j-api\1.7.22\slf4j-api-1.7.22.jar;C:\Users\HP\.m2\repository\org\slf4j\jcl-over-slf4j\1.7.22\jcl-over-slf4j-1.7.22.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-model\3.4.3\rdf4j-model-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-api\3.4.3\rdf4j-rio-api-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-languages\3.4.3\rdf4j-rio-languages-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-datatypes\3.4.3\rdf4j-rio-datatypes-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-binary\3.4.3\rdf4j-rio-binary-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-n3\3.4.3\rdf4j-rio-n3-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-nquads\3.4.3\rdf4j-rio-nquads-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-ntriples\3.4.3\rdf4j-rio-ntriples-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-rdfjson\3.4.3\rdf4j-rio-rdfjson-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-jsonld\3.4.3\rdf4j-rio-jsonld-3.4.3.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpclient\4.5.10\httpclient-4.5.10.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpcore\4.4.12\httpcore-4.4.12.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpclient-cache\4.5.10\httpclient-cache-4.5.10.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-rdfxml\3.4.3\rdf4j-rio-rdfxml-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-trix\3.4.3\rdf4j-rio-trix-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-turtle\3.4.3\rdf4j-rio-turtle-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-trig\3.4.3\rdf4j-rio-trig-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-hdt\3.4.3\rdf4j-rio-hdt-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-util\3.4.3\rdf4j-util-3.4.3.jar;C:\Users\HP\.m2\repository\com\github\jsonld-java\jsonld-java\0.13.0\jsonld-java-0.13.0.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpclient-osgi\4.5.10\httpclient-osgi-4.5.10.jar;C:\Users\HP\.m2\repository\commons-codec\commons-codec\1.11\commons-codec-1.11.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpmime\4.5.10\httpmime-4.5.10.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\fluent-hc\4.5.10\fluent-hc-4.5.10.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpcore-osgi\4.4.12\httpcore-osgi-4.4.12.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpcore-nio\4.4.12\httpcore-nio-4.4.12.jar;C:\Users\HP\.m2\repository\com\github\vsonnier\hppcrt\0.7.5\hppcrt-0.7.5.jar;C:\Users\HP\.m2\repository\com\github\ben-manes\caffeine\caffeine\2.8.1\caffeine-2.8.1.jar;C:\Users\HP\.m2\repository\org\checkerframework\checker-qual\3.1.0\checker-qual-3.1.0.jar;C:\Users\HP\.m2\repository\com\google\errorprone\error_prone_annotations\2.3.4\error_prone_annotations-2.3.4.jar;C:\Users\HP\.m2\repository\com\google\guava\guava\30.0-jre\guava-30.0-jre.jar;C:\Users\HP\.m2\repository\com\google\guava\failureaccess\1.0.1\failureaccess-1.0.1.jar;C:\Users\HP\.m2\repository\com\google\guava\listenablefuture\9999.0-empty-toSLF4J:
Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
-avoid-conflict-with-guava\listenablefuture-9999.0-empty-to-avoid-conflict-with-guava.jar;C:\Users\HP\.m2\repository\com\google\SLF4J:
See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
j2objc\j2objc-annotations\1.3\j2objc-annotations-1.3.jar;C:\Users\HP\.m2\repository\com\google\code\findbugs\jsr305\3.0.2\jsr305-3.0.2.jar;C:\Users\HP\.m2\repository\commons-io\commons-io\2.7\commons-io-2.7.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\org.semanticweb.hermit\1.4.3.517\org.semanticweb.hermit-1.4.3.517.jar;C:\Users\HP\.m2\repository\commons-logging\commons-logging\1.1.3\commons-logging-1.1.3.jar;C:\Users\HP\.m2\repository\org\apache\ws\commons\axiom\axiom-api\1.2.14\axiom-api-1.2.14.jar;C:\Users\HP\.m2\repository\org\apache\geronimo\specs\geronimo-activation_1.1_spec\1.1\geronimo-activation_1.1_spec-1.1.jar;C:\Users\HP\.m2\repository\org\apache\geronimo\specs\geronimo-javamail_1.4_spec\1.7.1\geronimo-javamail_1.4_spec-1.7.1.jar;C:\Users\HP\.m2\repository\jaxen\jaxen\1.1.4\jaxen-1.1.4.jar;C:\Users\HP\.m2\repository\org\apache\geronimo\specs\geronimo-stax-api_1.0_spec\1.0.1\geronimo-stax-api_1.0_spec-1.0.1.jar;C:\Users\HP\.m2\repository\org\apache\james\apache-mime4j-core\0.7.2\apache-mime4j-core-0.7.2.jar;C:\Users\HP\.m2\repository\org\apache\ws\commons\axiom\axiom-c14n\1.2.14\axiom-c14n-1.2.14.jar;C:\Users\HP\.m2\repository\org\apache\ws\commons\axiom\axiom-impl\1.2.14\axiom-impl-1.2.14.jar;C:\Users\HP\.m2\repository\org\codehaus\woodstox\woodstox-core-asl\4.1.4\woodstox-core-asl-4.1.4.jar;C:\Users\HP\.m2\repository\org\codehaus\woodstox\stax2-api\3.1.1\stax2-api-3.1.1.jar;C:\Users\HP\.m2\repository\org\apache\ws\commons\axiom\axiom-dom\1.2.14\axiom-dom-1.2.14.jar;C:\Users\HP\.m2\repository\dk\brics\automaton\automaton\1.11-8\automaton-1.11-8.jar;C:\Users\HP\.m2\repository\gnu\getopt\java-getopt\1.0.13\java-getopt-1.0.13.jar;C:\Users\HP\.m2\repository\net\sf\trove4j\trove4j\3.0.3\trove4j-3.0.3.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlexplanation\5.0.0\owlexplanation-5.0.0.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-api\5.1.19\owlapi-api-5.1.19.jar;C:\Users\HP\.m2\repository\javax\inject\javax.inject\1\javax.inject-1.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-tools\5.1.19\owlapi-tools-5.1.19.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\telemetry\5.0.0\telemetry-5.0.0.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-parsers\5.1.19\owlapi-parsers-5.1.19.jar
My Code Results.......................
Ontology(OntologyID(OntologyIRI(<
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1>)
VersionIRI(<null>))) [Axioms: 5 Logical Axioms: 4] First 20 axioms:
{ClassAssertion(<http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#A> <
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#testInv>)
ClassAssertion(<http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#B> <
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#testInv>)
SubClassOf(ObjectSomeValuesFrom(<
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#R> <
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#A>)
ObjectSomeValuesFrom(<
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#S> <
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#B>)) DisjointClasses(<
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#A> <
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#B>)
Declaration(ObjectProperty(<
http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#hasValue>)) }
check consistency: false
Exception in thread "main" java.lang.NullPointerException
at
org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker.isEntailed(ConsistencyEntailmentChecker.java:116)
at
org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy.doExpansion(InconsistentOntologyExpansionStrategy.java:45)
at
org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.doExpansion(BlackBoxExplanationGenerator2.java:262)
at
org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.computeExplanation(BlackBoxExplanationGenerator2.java:183)
at
org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.generateExplanation(BlackBoxExplanationGenerator2.java:292)
at
org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree.buildHittingSetTree(HittingSetTree.java:110)
at
org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.getExplanations(BlackBoxExplanationGenerator2.java:118)
at
com.mycompany.testowlexplanation.OWLExplainationTest.main(OWLExplainationTest.java:92)
Command execution failed.
org.apache.commons.exec.ExecuteException: Process exited with an error: 1
(Exit value: 1)
at org.apache.commons.exec.DefaultExecutor.executeInternal
(DefaultExecutor.java:404)
--------------------------------------------------
On Wed, Aug 4, 2021 at 9:41 AM Ignazio Palmisano <
ipa...@gm...> wrote:
>
>
> On Wed, 4 Aug 2021, 05:56 Shyama, <shy...@gm...> wrote:
>
>> Hi
>>
>> Please find the result of that code..........
>>
>
>
> Thanks, that revealed the guilty jar:
>
> C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-
> osgidistribution\4.1.3\owlapi-osgidistribution-4.1.3.jar
>
> I'm guessing this might be coming in via version 2.0.0 of the explanation
> library. Try version 5.0.0 instead.
> Maven should have spotted the conflict and resolved to the latest version,
> but there's a possibility that would not have worked either. Version 5
> should solve the issue cleanly.
>
> Cheers,
> I.
>
>
> ----------------------------------------------------
>> OWL API Versions.......................
>> C:\Users\HP\Documents\NetBeansProjects\TestOWLExplanation\target\classes;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-distribution\5.1.17\owlapi-distribution-5.1.17.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-compatibility\5.1.17\owlapi-compatibility-5.1.17.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-apibinding\5.1.17\owlapi-apibinding-5.1.17.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-api\5.1.17\owlapi-api-5.1.17.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-impl\5.1.17\owlapi-impl-5.1.17.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-parsers\5.1.17\owlapi-parsers-5.1.17.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-oboformat\5.1.17\owlapi-oboformat-5.1.17.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-tools\5.1.17\owlapi-tools-5.1.17.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-rio\5.1.17\owlapi-rio-5.1.17.jar;C:\Users\HP\.m2\repository\com\fasterxml\jackson\core\jackson-core\2.9.10\jackson-core-2.9.10.jar;C:\Users\HP\.m2\repository\com\fasterxml\jackson\core\jackson-databind\2.9.10.5\jackson-databind-2.9.10.5.jar;C:\Users\HP\.m2\repository\com\fasterxml\jackson\core\jackson-annotations\2.9.10\jackson-annotations-2.9.10.jar;C:\Users\HP\.m2\repository\org\apache\commons\commons-rdf-api\0.5.0\commons-rdf-api-0.5.0.jar;C:\Users\HP\.m2\repository\org\tukaani\xz\1.6\xz-1.6.jar;C:\Users\HP\.m2\repository\org\slf4j\slf4j-api\1.7.22\slf4j-api-1.7.22.jar;C:\Users\HP\.m2\repository\org\slf4j\jcl-over-slf4j\1.7.22\jcl-over-slf4j-1.7.22.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-model\3.4.3\rdf4j-model-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-api\3.4.3\rdf4j-rio-api-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-languages\3.4.3\rdf4j-rio-languages-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-datatypes\3.4.3\rdf4j-rio-datatypes-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-binary\3.4.3\rdf4j-rio-binary-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-n3\3.4.3\rdf4j-rio-n3-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-nquads\3.4.3\rdf4j-rio-nquads-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-ntriples\3.4.3\rdf4j-rio-ntriples-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-rdfjson\3.4.3\rdf4j-rio-rdfjson-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-jsonld\3.4.3\rdf4j-rio-jsonld-3.4.3.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpclient\4.5.10\httpclient-4.5.10.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpclient-cache\4.5.10\httpclient-cache-4.5.10.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-rdfxml\3.4.3\rdf4j-rio-rdfxml-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-trix\3.4.3\rdf4j-rio-trix-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-turtle\3.4.3\rdf4j-rio-turtle-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-trig\3.4.3\rdf4j-rio-trig-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-rio-hdt\3.4.3\rdf4j-rio-hdt-3.4.3.jar;C:\Users\HP\.m2\repository\org\eclipse\rdf4j\rdf4j-util\3.4.3\rdf4j-util-3.4.3.jar;C:\Users\HP\.m2\repository\com\github\jsonld-java\jsonld-java\0.13.0\jsonld-java-0.13.0.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpclient-osgi\4.5.10\httpclient-osgi-4.5.10.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpmime\4.5.10\httpmime-4.5.10.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\fluent-hc\4.5.10\fluent-hc-4.5.10.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpcore-osgi\4.4.12\httpcore-osgi-4.4.12.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpcore-nio\4.4.12\httpcore-nio-4.SLF4J:
>> Failed to load class "org.slf4j.impl.StaticLoggerBinder".
>> SLF4J: Defaulting to no-operation (NOP) logger implementation
>> 4.12.jar;C:\Users\HP\.m2\repository\com\github\vsonnier\hppcrt\0.7.5\hppcrt-0.7.5.jar;C:\Users\HP\.m2\repository\com\github\ben-SLF4J:
>> See http://www.slf4j.org/codes.html#StaticLoggerBinder for further
>> details.
>>
>> manes\caffeine\caffeine\2.8.1\caffeine-2.8.1.jar;C:\Users\HP\.m2\repository\org\checkerframework\checker-qual\3.1.0\checker-qual-3.1.0.jar;C:\Users\HP\.m2\repository\com\google\errorprone\error_prone_annotations\2.3.4\error_prone_annotations-2.3.4.jar;C:\Users\HP\.m2\repository\com\google\guava\guava\30.0-jre\guava-30.0-jre.jar;C:\Users\HP\.m2\repository\com\google\guava\failureaccess\1.0.1\failureaccess-1.0.1.jar;C:\Users\HP\.m2\repository\com\google\guava\listenablefuture\9999.0-empty-to-avoid-conflict-with-guava\listenablefuture-9999.0-empty-to-avoid-conflict-with-guava.jar;C:\Users\HP\.m2\repository\com\google\j2objc\j2objc-annotations\1.3\j2objc-annotations-1.3.jar;C:\Users\HP\.m2\repository\com\google\code\findbugs\jsr305\3.0.2\jsr305-3.0.2.jar;C:\Users\HP\.m2\repository\commons-io\commons-io\2.6\commons-io-2.6.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\org.semanticweb.hermit\1.4.3.517\org.semanticweb.hermit-1.4.3.517.jar;C:\Users\HP\.m2\repository\commons-logging\commons-logging\1.1.3\commons-logging-1.1.3.jar;C:\Users\HP\.m2\repository\org\apache\ws\commons\axiom\axiom-api\1.2.14\axiom-api-1.2.14.jar;C:\Users\HP\.m2\repository\org\apache\geronimo\specs\geronimo-activation_1.1_spec\1.1\geronimo-activation_1.1_spec-1.1.jar;C:\Users\HP\.m2\repository\org\apache\geronimo\specs\geronimo-javamail_1.4_spec\1.7.1\geronimo-javamail_1.4_spec-1.7.1.jar;C:\Users\HP\.m2\repository\jaxen\jaxen\1.1.4\jaxen-1.1.4.jar;C:\Users\HP\.m2\repository\org\apache\geronimo\specs\geronimo-stax-api_1.0_spec\1.0.1\geronimo-stax-api_1.0_spec-1.0.1.jar;C:\Users\HP\.m2\repository\org\apache\james\apache-mime4j-core\0.7.2\apache-mime4j-core-0.7.2.jar;C:\Users\HP\.m2\repository\org\apache\ws\commons\axiom\axiom-c14n\1.2.14\axiom-c14n-1.2.14.jar;C:\Users\HP\.m2\repository\org\apache\ws\commons\axiom\axiom-impl\1.2.14\axiom-impl-1.2.14.jar;C:\Users\HP\.m2\repository\org\codehaus\woodstox\woodstox-core-asl\4.1.4\woodstox-core-asl-4.1.4.jar;C:\Users\HP\.m2\repository\org\codehaus\woodstox\stax2-api\3.1.1\stax2-api-3.1.1.jar;C:\Users\HP\.m2\repository\org\apache\ws\commons\axiom\axiom-dom\1.2.14\axiom-dom-1.2.14.jar;C:\Users\HP\.m2\repository\dk\brics\automaton\automaton\1.11-8\automaton-1.11-8.jar;C:\Users\HP\.m2\repository\gnu\getopt\java-getopt\1.0.13\java-getopt-1.0.13.jar;C:\Users\HP\.m2\repository\net\sf\trove4j\trove4j\3.0.3\trove4j-3.0.3.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlexplanation\2.0.0\owlexplanation-2.0.0.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\owlapi-osgidistribution\4.1.3\owlapi-osgidistribution-4.1.3.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-model\2.7.12\sesame-model-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-api\2.7.12\sesame-rio-api-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-languages\2.7.12\sesame-rio-languages-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-datatypes\2.7.12\sesame-rio-datatypes-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-binary\2.7.12\sesame-rio-binary-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-n3\2.7.12\sesame-rio-n3-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-nquads\2.7.12\sesame-rio-nquads-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-ntriples\2.7.12\sesame-rio-ntriples-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-rdfjson\2.7.12\sesame-rio-rdfjson-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-rdfxml\2.7.12\sesame-rio-rdfxml-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-trix\2.7.12\sesame-rio-trix-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-turtle\2.7.12\sesame-rio-turtle-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-rio-trig\2.7.12\sesame-rio-trig-2.7.12.jar;C:\Users\HP\.m2\repository\org\openrdf\sesame\sesame-util\2.7.12\sesame-util-2.7.12.jar;C:\Users\HP\.m2\repository\com\github\jsonld-java\jsonld-java-sesame\0.5.0\jsonld-java-sesame-0.5.0.jar;C:\Users\HP\.m2\repository\org\apache\httpcomponents\httpcore\4.4.3\httpcore-4.4.3.jar;C:\Users\HP\.m2\repository\commons-codec\commons-codec\1.9\commons-codec-1.9.jar;C:\Users\HP\.m2\repository\org\semarglproject\semargl-sesame\0.6.1\semargl-sesame-0.6.1.jar;C:\Users\HP\.m2\repository\org\semarglproject\semargl-core\0.6.1\semargl-core-0.6.1.jar;C:\Users\HP\.m2\repository\org\semarglproject\semargl-rdfa\0.6.1\semargl-rdfa-0.6.1.jar;C:\Users\HP\.m2\repository\org\semarglproject\semargl-rdf\0.6.1\semargl-rdf-0.6.1.jar;C:\Users\HP\.m2\repository\org\apache\servicemix\bundles\org.apache.servicemix.bundles.javax-inject\1_2\org.apache.servicemix.bundles.javax-inject-1_2.jar;C:\Users\HP\.m2\repository\org\apache\servicemix\bundles\org.apache.servicemix.bundles.aopalliance\1.0_6\org.apache.servicemix.bundles.aopalliance-1.0_6.jar;C:\Users\HP\.m2\repository\com\google\inject\guice\4.0\guice-4.0.jar;C:\Users\HP\.m2\repository\javax\inject\javax.inject\1\javax.inject-1.jar;C:\Users\HP\.m2\repository\aopalliance\aopalliance\1.0\aopalliance-1.0.jar;C:\Users\HP\.m2\repository\com\google\inject\extensions\guice-assistedinject\4.0\guice-assistedinject-4.0.jar;C:\Users\HP\.m2\repository\com\google\inject\extensions\guice-multibindings\4.0\guice-multibindings-4.0.jar;C:\Users\HP\.m2\repository\net\sourceforge\owlapi\telemetry\2.0.0\telemetry-2.0.0.jar
>> My Code Results.......................
>> Ontology(OntologyID(OntologyIRI(<
>> http://www.sln4mop.org/ontologies/2021/GoviOntologyV1>)
>> VersionIRI(<null>))) [Axioms: 5 Logical Axioms: 4] First 20 axioms:
>> {Declaration(ObjectProperty(<
>> http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#hasValue>))
>> ClassAssertion(<http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#A>
>> <http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#testInv>)
>> ClassAssertion(<http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#B>
>> <http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#testInv>)
>> DisjointClasses(<http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#A>
>> <http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#B>)
>> SubClassOf(ObjectSomeValuesFrom(<
>> http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#R> <
>> http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#A>)
>> ObjectSomeValuesFrom(<
>> http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#S> <
>> http://www.sln4mop.org/ontologies/2021/GoviOntologyV1#B>)) }
>>
>> check consistency: false
>>
>> Exception in thread "main" java.lang.NoSuchMethodError:
>> org.semanticweb.owlapi.model.OWLOntologyManager.createOntology(Ljava/util/Set;)Lorg/semanticweb/owlapi/model/OWLOntology;
>> at
>> org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker.isEntailed(ConsistencyEntailmentChecker.java:110)
>> at
>> org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy.doExpansion(InconsistentOntologyExpansionStrategy.java:44)
>> at
>> org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.doExpansion(BlackBoxExplanationGenerator2.java:258)
>> at
>> org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.computeExplanation(BlackBoxExplanationGenerator2.java:179)
>> at
>> org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.generateExplanation(BlackBoxExplanationGenerator2.java:289)
>> at
>> org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree.buildHittingSetTree(HittingSetTree.java:116)
>> at
>> org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.getExplanations(BlackBoxExplanationGenerator2.java:114)
>> at
>> org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2.getExplanations(BlackBoxExplanationGenerator2.java:91)
>> at
>> com.mycompany.testowlexplanation.OWLExplainationTest.main(OWLExplainationTest.java:81)
>> Command execution failed.
>> org.apache.commons.exec.ExecuteException: Process exited with an error: 1
>> (Exit value: 1)
>> at org.apache.commons.exec.DefaultExecutor.executeInternal
>> (DefaultExecutor.java:404)
>> at org.apache.commons.exec.DefaultExecutor.execute
>> (DefaultExecutor.java:166)
>> at org.codehaus.mojo.exec.ExecMojo.executeCommandLine
>> (ExecMojo.java:982)
>> at org.codehaus.mojo.exec.ExecMojo.executeCommandLine
>> (ExecMojo.java:929)
>> at org.codehaus.mojo.exec.ExecMojo.execute (ExecMojo.java:457)
>> at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo
>> (DefaultBuildPluginManager.java:137)
>> at org.apache.maven.lifecycle.internal.MojoExecutor.execute
>> (MojoExecutor.java:210)
>> at org.apache.maven.lifecycle.internal.MojoExecutor.execute
>> (MojoExecutor.java:156)
>> at org.apache.maven.lifecycle.internal.MojoExecutor.execute
>> (MojoExecutor.java:148)
>> at
>> org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject
>> (LifecycleModuleBuilder.java:117)
>> at
>> org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject
>> (LifecycleModuleBuilder.java:81)
>> at
>> org.apache.maven.lifecycle.internal.builder.singlethreaded.SingleThreadedBuilder.build
>> (SingleThreadedBuilder.java:56)
>> at org.apache.maven.lifecycle.internal.LifecycleStarter.execute
>> (LifecycleStarter.java:128)
>> at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:305)
>> at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:192)
>> at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:105)
>> at org.apache.maven.cli.MavenCli.execute (MavenCli.java:957)
>> at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:289)
>> at org.apache.maven.cli.MavenCli.main (MavenCli.java:193)
>> at sun.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
>> at sun.reflect.NativeMethodAccessorImpl.invoke
>> (NativeMethodAccessorImpl.java:62)
>> at sun.reflect.DelegatingMethodAccessorImpl.invoke
>> (DelegatingMethodAccessorImpl.java:43)
>> at java.lang.reflect.Method.invoke (Method.java:498)
>> at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced
>> (Launcher.java:282)
>> at org.codehaus.plexus.classworlds.launcher.Launcher.launch
>> (Launcher.java:225)
>> at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode
>> (Launcher.java:406)
>> at org.codehaus.plexus.classworlds.launcher.Launcher.main
>> (Launcher.java:347)
>> ---------------------------------------------------
>>
>>
>> My Test Example code-----------------------------------------
>>
>> public class OWLExplainationTest {
>> public static void main(String[] args) throws IOException,
>> OWLOntologyCreationException {
>>
>> System.out.println("OWL API Versions.......................");
>>
>> System.out.println(System.getProperty("java.class.path"));
>>
>> System.out.println("My Code Results.......................");
>> OWLOntologyManager man = OWLManager.createOWLOntologyManager();
>>
>> IRI IOR = IRI.create("
>> http://www.sln4mop.org/ontologies/2021/GoviOntologyV1");
>>
>> OWLOntology o;
>>
>> o = man.createOntology(IOR);
>> OWLDataFactory df =
>> o.getOWLOntologyManager().getOWLDataFactory();
>>
>>
>> OWLClass A = df.getOWLClass(IOR + "#A");
>> OWLClass B = df.getOWLClass(IOR + "#B");
>> OWLClass X = df.getOWLClass(IOR + "#X");
>> OWLObjectProperty R = df.getOWLObjectProperty(IOR + "#R");
>> OWLObjectProperty S = df.getOWLObjectProperty(IOR + "#S");
>> OWLSubClassOfAxiom ax =
>> df.getOWLSubClassOfAxiom(df.getOWLObjectSomeValuesFrom(R, A),
>> df.getOWLObjectSomeValuesFrom(S, B));
>> o.add(ax);
>>
>> OWLObjectProperty hasValue = df.getOWLObjectProperty(IOR
>> + "#hasValue");
>> OWLDeclarationAxiom d_hasValue =
>> df.getOWLDeclarationAxiom(hasValue);
>> o.add(d_hasValue);
>>
>> // create an inconsistent ontology by declaring an
>> individual member of two disjoint classes
>> OWLIndividual i = df.getOWLNamedIndividual(IOR +
>> "#testInv");
>> OWLDisjointClassesAxiom ax2 =
>> df.getOWLDisjointClassesAxiom(A, B);
>> o.add(ax2 );
>> o.add(df.getOWLClassAssertionAxiom(A, i));
>> o.add( df.getOWLClassAssertionAxiom(B, i));
>>
>> System.out.println(o);
>>
>> OWLReasonerFactory hermitreasonerFactory = new
>> Reasoner.ReasonerFactory();
>> OWLReasoner r = hermitreasonerFactory.createReasoner(o);
>>
>> System.out.println("check consistency: "+ r.isConsistent());
>>
>> //create the explanation generator --- this code is not
>> working..............
>> ExplanationGenerator<OWLAxiom> explainInconsistency = new
>> InconsistentOntologyExplanationGeneratorFactory(hermitreasonerFactory,1000L).createExplanationGenerator(o);
>> //Ask for an explanation of `Thing subclass of Nothing` - this axiom
>> is entailed in any inconsistent ontology
>> Set<Explanation<OWLAxiom>> explanations =
>> explainInconsistency.getExplanations(df.getOWLSubClassOfAxiom(df
>> .getOWLThing(), df.getOWLNothing()));
>> System.out.println("TestExplanation.main() " + explanations);
>>
>> }
>>
>>
>> --------------------------------------
>>
>> On Wed, Aug 4, 2021 at 1:13 AM Ignazio Palmisano <
>> ipa...@gm...> wrote:
>>
>>>
>>>
>>> On Tue, 3 Aug 2021, 22:23 Shyama Wilson, <sh...@uw...> wrote:
>>>
>>>> Thank You very much for your prompt reply
>>>>
>>>> I used the below dependencies only. Please kindly let me know still I
>>>> have version issue with regards to my issue.
>>>>
>>>> <dependencies>
>>>> <dependency>
>>>> <groupId>net.sourceforge.owlapi</groupId>
>>>> <artifactId>owlapi-distribution</artifactId>
>>>> <version>5.1.17</version>
>>>> </dependency>
>>>> <dependency>
>>>> <groupId>net.sourceforge.owlapi</groupId>
>>>> <artifactId>org.semanticweb.hermit</artifactId>
>>>> <version>1.4.3.517</version>
>>>> </dependency>
>>>> <dependency>
>>>> <groupId>net.sourceforge.owlapi</groupId>
>>>> <artifactId>owlexplanation</artifactId>
>>>> <version>2.0.0</version>
>>>> <type>jar</type>
>>>> </dependency>
>>>>
>>>>
>>>
>>> These look correct.
>>> Can you add this as first line to your Java code and post back the
>>> result?
>>>
>>> System.out.println(System.getProperty("java.class.path"));
>>>
>>> Cheers,
>>> Ignazio
>>>
>>>
>>>> ------------------
>>>>
>>>> Cheers!
>>>>
>>>> On Wed, Aug 4, 2021 at 12:08 AM Ignazio Palmisano <
>>>> ipa...@gm...> wrote:
>>>>
>>>>>
>>>>>
>>>>> On Tue, 3 Aug 2021, 21:30 Shyama, <shy...@gm...> wrote:
>>>>>
>>>>>> HI
>>>>>>
>>>>>> Could Anyone please kindly assists me to resolve this issue.
>>>>>>
>>>>>> I have written a code to test an inconsistency Explanation. The code
>>>>>> does not show any syntax error, but it got exceptions while running the
>>>>>> code as follows; For your information, the code and the OWL explanation
>>>>>> dependency are attached at the end.
>>>>>> -------------------------------------------
>>>>>> Exception in thread "main" java.lang.NoSuchMethodError:
>>>>>> org.semanticweb.owlapi.model.OWLOntologyManager.createOntology(Ljava/util/Set;)Lorg/semanticweb/owlapi/model/OWLOntology;
>>>>>>
>>>>> --------------------------------------------
>>>>>>
>>>>>> Used HermiT reasoner
>>>>>>
>>>>>
>>>>>
>>>>> Hi,
>>>>> Which version of HermiT?
>>>>>
>>>>> The stack trace is typical of situations where two versions of OWLAPI
>>>>> are on the classpath, and old versions of HermiT (1.3.8, for example)
>>>>> include the OWLAPI classes in the HermiT jar, making it very hard to use
>>>>> with newer libraries. At compile time this goes unnoticed because classpath
>>>>> order differs.
>>>>>
>>>>> Cheers,
>>>>> Ignazio
>>>>>
>>>>>
>>>>>> Dependency used
>>>>>> ---------------------
>>>>>> <dependency>
>>>>>> <groupId>net.sourceforge.owlapi</groupId>
>>>>>> <artifactId>owlexplanation</artifactId>
>>>>>> <version>2.0.0</version>
>>>>>> <type>jar</type>
>>>>>> </dependency>
>>>>>> -------------------------------
>>>>>>
>>>>>> *code Snippet*
>>>>>>
>>>>>> public static void main(String[] args) throws IOException,
>>>>>> OWLOntologyCreationException {
>>>>>> OWLOntologyManager man =
>>>>>> OWLManager.createOWLOntologyManager();
>>>>>> IRI IOR = IRI.create("
>>>>>> http://www.sln4mop.org/ontologies/2021/GoviOntologyV1");
>>>>>>
>>>>>> OWLOntology o;
>>>>>>
>>>>>>
>>>>>> o = man.createOntology(IOR);
>>>>>> OWLDataFactory df =
>>>>>> o.getOWLOntologyManager().getOWLDataFactory();
>>>>>>
>>>>>> OWLClass A = df.getOWLClass(IOR + "#A");
>>>>>> OWLClass B = df.getOWLClass(IOR + "#B");
>>>>>> OWLClass X = df.getOWLClass(IOR + "#X");
>>>>>> OWLObjectProperty R = df.getOWLObjectProperty(IOR +
>>>>>> "#R");
>>>>>> OWLObjectProperty S = df.getOWLObjectProperty(IOR +
>>>>>> "#S");
>>>>>> OWLSubClassOfAxiom ax =
>>>>>> df.getOWLSubClassOfAxiom(df.getOWLObjectSomeValuesFrom(R, A),
>>>>>> df.getOWLObjectSomeValuesFrom(S, B));
>>>>>> o.add(ax);
>>>>>>
>>>>>> // create an inconsistent ontology by declaring an
>>>>>> individual member of two disjoint classes
>>>>>> OWLIndividual i = df.getOWLNamedIndividual(IOR +
>>>>>> "#testInv");
>>>>>> OWLDisjointClassesAxiom ax2 =
>>>>>> df.getOWLDisjointClassesAxiom(A, B);
>>>>>> o.add(ax2 );
>>>>>> o.add(df.getOWLClassAssertionAxiom(A, i));
>>>>>> o.add( df.getOWLClassAssertionAxiom(B, i))
>>>>>>
>>>>>> OWLReasonerFactory hermitreasonerFactory = new
>>>>>> ReasonerFactory();
>>>>>> OWLReasoner r = hermitreasonerFactory.createReasoner(o);
>>>>>>
>>>>>> System.out.println("check consistency"+
>>>>>> r.isConsistent());
>>>>>>
>>>>>> //create the explanation generator --- this code is not
>>>>>> working..............
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> * ExplanationGenerator<OWLAxiom> explainInconsistency = new
>>>>>> InconsistentOntologyExplanationGeneratorFactory(hermitreasonerFactory,1000L).createExplanationGenerator(o);
>>>>>> // Ask for an explanation of `Thing subclass of Nothing` - this axiom is
>>>>>> entailed in any inconsistent ontology Set<Explanation<OWLAxiom>>
>>>>>> explanations =
>>>>>> explainInconsistency.getExplanations(df.getOWLSubClassOfAxiom(df
>>>>>> .getOWLThing(), df.getOWLNothing()));
>>>>>> System.out.println("TestExplanation.main() " + explanations);*
>>>>>>
>>>>>> }
>>>>>>
>>>>>>
>>>>>> Cheers!
>>>>>>
>>>>>> --
>>>>>> Shyama Wilson
>>>>>> Department of Computer Science and Informatics
>>>>>> Uva Wellassa University: www.uwu.ac.lk
>>>>>> Badulla, Sri Lanka
>>>>>> email: sh...@uw... <am...@uw...>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>>
>>>>>> _______________________________________________
>>>>>> Owlapi-developer mailing list
>>>>>> Owl...@li...
>>>>>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>>>>>
>>>>> _______________________________________________
>>>>> Owlapi-developer mailing list
>>>>> Owl...@li...
>>>>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>>>>
>>>>
>>>>
>>>> --
>>>> Department of Computer Science and Informatics
>>>> Faculty of Applied Sciences
>>>> Uva Wellassa University
>>>> Badulla
>>>> _______________________________________________
>>>> Owlapi-developer mailing list
>>>> Owl...@li...
>>>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>>>
>>> _______________________________________________
>>> Owlapi-developer mailing list
>>> Owl...@li...
>>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>>
>>
>>
>> --
>> Shyama Wilson
>> Department of Computer Science and Informatics
>> Uva Wellassa University: www.uwu.ac.lk
>> Badulla, Sri Lanka
>> email: sh...@uw... <am...@uw...>
>>
>>
>>
>>
>>
>> _______________________________________________
>> Owlapi-developer mailing list
>> Owl...@li...
>> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>>
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
--
Shyama Wilson
Department of Computer Science and Informatics
Uva Wellassa University: www.uwu.ac.lk
Badulla, Sri Lanka
email: sh...@uw... <am...@uw...>
|
