Menu
▾
▴
Re: [OWLAPI-developer] Help!: OWL inconsistency explanation
|
From: Shyama <shy...@gm...> - 2021-08-04 12:08:31
|
Hi Ignazio
Thank you for your great help.
Anyway, Still, I could not resolve the issue. Again I got a NULL point
exception as follows, even after initializing the
Supplier<OWLOntologyManager>
m as you instructed.
*I do not want to waste your time on my issue further, I will try with
other versions. *
*If there is a possibility please share with us a successful code with new
versions dependencies (OWL API 5.1.17, Hermit 1.4.3.517, owlexplanation
5.0.0).*
Cheers!
Shyama
My Code
---------------------------------
OWLAxiom axT = df.getOWLSubClassOfAxiom(df.getOWLThing(),
df.getOWLNothing());
Supplier<OWLOntologyManager> m
=OWLManager::createOWLOntologyManager;
InconsistentOntologyExplanationGeneratorFactory x = new
InconsistentOntologyExplanationGeneratorFactory(hermitreasonerFactory, df,
m, 10);
ExplanationGenerator<OWLAxiom> test =
x.createExplanationGenerator(o);
*System.out.println(test.getExplanations(axT, 10));// here
exceptions triggered*
--------------------------------
OUTPUT..................................
Exception in thread "main" java.lang.IllegalStateException: value cannot be
null at this stage
at
org.semanticweb.owlapi.util.OWLAPIPreconditions.verifyNotNull(OWLAPIPreconditions.java:56)
at
org.semanticweb.owlapi.util.OWLAPIPreconditions.verifyNotNull(OWLAPIPreconditions.java:40)
at
uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrdererImplNoManager$SeedExtractor.getTarget(ExplanationOrdererImplNoManager.java:309)
at
uk.ac.manchester.cs.owl.explanation.ordering.ExplanationOrdererImplNoManager.getOrderedExplanation(ExplanationOrdererImplNoManager.java:174)
at
org.semanticweb.owl.explanation.api.Explanation.toString(Explanation.java:149)
at java.lang.String.valueOf(String.java:2994)
at java.lang.StringBuilder.append(StringBuilder.java:131)
at java.util.AbstractCollection.toString(AbstractCollection.java:462)
at java.lang.String.valueOf(String.java:2994)
at java.io.PrintStream.println(PrintStream.java:821)
at com.mycompany.owltutorial.OWLAPIFirst.main(OWLAPIFirst.java:116)
Command execution failed.
On Wed, Aug 4, 2021 at 2:26 PM Ignazio Palmisano <
ipa...@gm...> wrote:
>
>
> On Wed, 4 Aug 2021, 11:46 Shyama, <shy...@gm...> wrote:
>
>> 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.
>>
>
>
> Hi,
> Supplier<OWLOntologyManager> m = OWLManager::createOWLOntologyManager;
>
> will do - any implementation that provides a new manager on request is all
> that's needed. This change was introduced to remove the dependency to
> OWLManager.
>
> Cheers,
> Ignazio
>
>
>
>> 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...>
>>
>>
>>
>>
>>
>> _______________________________________________
>> 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...>
|
