Re: [OWLAPI-developer] Help!: OWL inconsistency explanation

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Hi

Please find the result of that code..........
----------------------------------------------------
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...>