Ontology Analysis Report

Ontology Information
File:

working.owl

IRI:

http://www.semanticweb.org/ontology/1683

Expressivity:

AL

Complexity:

0 axioms

Visualizations:
Interactive Diagram BVSS View
Ontology Statistics

0

Classes

0

Object Properties

0

Data Properties

0

Individuals

Consistency Check
Inconsistent
The ontology is inconsistent! The following issues were detected:
Reasoning Methodology
Reasoners Used:
  • Pellet
Reasoning Tasks:
  • Consistency
  • Classification
  • Realization
Theoretical Guarantees:
Property Status
Decidability Decidable for OWL DL ontologies
Completeness Complete for SROIQ(D) description logic
Soundness Sound for standard description logics
Limitations:
  • May time out on very large ontologies — see reasoner_skipped
  • OWL Full constructs not supported
Inconsistency Information:

Type:

Reason: Java error message is: Exception in thread "main" java.lang.UnsupportedClassVersionError: org/apache/jena/riot/lang/LangRDFXML has been compiled by a more recent version of the Java Runtime (class file version 69.0), this version of the Java Runtime only recognizes class file versions up to 65.0 at java.base/java.lang.ClassLoader.defineClass1(Native Method) at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1027) at java.base/java.security.SecureClassLoader.defineClass(SecureClassLoader.java:150) at java.base/jdk.internal.loader.BuiltinClassLoader.defineClass(BuiltinClassLoader.java:862) at java.base/jdk.internal.loader.BuiltinClassLoader.findClassOnClassPathOrNull(BuiltinClassLoader.java:760) at java.base/jdk.internal.loader.BuiltinClassLoader.loadClassOrNull(BuiltinClassLoader.java:681) at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:639) at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:188) at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:526) at org.apache.jena.riot.RiotReader.createParser(RiotReader.java:128) at org.apache.jena.riot.RDFParserRegistry$ReaderRIOTFactoryImpl$1.read(RDFParserRegistry.java:147) at org.apache.jena.riot.RDFDataMgr.process(RDFDataMgr.java:751) at org.apache.jena.riot.RDFDataMgr.read(RDFDataMgr.java:258) at org.apache.jena.riot.RDFDataMgr.read(RDFDataMgr.java:244) at org.apache.jena.riot.adapters.RDFReaderRIOT.read(RDFReaderRIOT.java:65) at com.hp.hpl.jena.rdf.model.impl.ModelCom.read(ModelCom.java:276) at com.hp.hpl.jena.ontology.OntDocumentManager.findMetadata(OntDocumentManager.java:891) at com.hp.hpl.jena.ontology.OntDocumentManager.initialiseMetadata(OntDocumentManager.java:849) at com.hp.hpl.jena.ontology.OntDocumentManager.<init>(OntDocumentManager.java:197) at com.hp.hpl.jena.ontology.OntDocumentManager.<init>(OntDocumentManager.java:179) at com.hp.hpl.jena.ontology.OntDocumentManager.<init>(OntDocumentManager.java:163) at com.hp.hpl.jena.ontology.OntDocumentManager.getInstance(OntDocumentManager.java:241) at com.hp.hpl.jena.ontology.OntModelSpec.getDocumentManager(OntModelSpec.java:320) at com.hp.hpl.jena.ontology.OntModelSpec.<init>(OntModelSpec.java:207) at org.mindswap.pellet.jena.PelletReasonerFactory.<clinit>(PelletReasonerFactory.java:57) at org.mindswap.pellet.jena.JenaLoader.clear(JenaLoader.java:84) at org.mindswap.pellet.jena.JenaLoader.<init>(JenaLoader.java:42) at pellet.PelletCmdApp.getLoader(PelletCmdApp.java:262) at pellet.PelletCmdApp.getLoader(PelletCmdApp.java:257) at pellet.PelletCmdApp.getKB(PelletCmdApp.java:220) at pellet.PelletRealize.run(PelletRealize.java:67) at pellet.Pellet.run(Pellet.java:105) at pellet.Pellet.main(Pellet.java:59)

Axioms
Type Description
No axioms found.
Type Description
Type Description
Type Description
Inferred Axioms
Type Description
No inferred axioms available
No inferred axioms found.
Derivation Trace

This visualization shows how inferences were derived during reasoning:

Inconsistency Pellet reasoner Confidence: Medium
Ontology may be inconsistent or reasoner failed: Java error message is: Exception in thread "main" java.lang.UnsupportedClassVersionError: org/apache/jena/riot/lang/LangRDFXML has been compiled by a more recent version of the Java Runtime (class file version 69.0), this version of the Java Runtime only recognizes class file versions up to 65.0 at java.base/java.lang.ClassLoader.defineClass1(Native Method) at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1027) at java.base/java.security.SecureClassLoader.defineClass(SecureClassLoader.java:150) at java.base/jdk.internal.loader.BuiltinClassLoader.defineClass(BuiltinClassLoader.java:862) at java.base/jdk.internal.loader.BuiltinClassLoader.findClassOnClassPathOrNull(BuiltinClassLoader.java:760) at java.base/jdk.internal.loader.BuiltinClassLoader.loadClassOrNull(BuiltinClassLoader.java:681) at java.base/jdk.internal.loader.BuiltinClassLoader.loadClass(BuiltinClassLoader.java:639) at java.base/jdk.internal.loader.ClassLoaders$AppClassLoader.loadClass(ClassLoaders.java:188) at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:526) at org.apache.jena.riot.RiotReader.createParser(RiotReader.java:128) at org.apache.jena.riot.RDFParserRegistry$ReaderRIOTFactoryImpl$1.read(RDFParserRegistry.java:147) at org.apache.jena.riot.RDFDataMgr.process(RDFDataMgr.java:751) at org.apache.jena.riot.RDFDataMgr.read(RDFDataMgr.java:258) at org.apache.jena.riot.RDFDataMgr.read(RDFDataMgr.java:244) at org.apache.jena.riot.adapters.RDFReaderRIOT.read(RDFReaderRIOT.java:65) at com.hp.hpl.jena.rdf.model.impl.ModelCom.read(ModelCom.java:276) at com.hp.hpl.jena.ontology.OntDocumentManager.findMetadata(OntDocumentManager.java:891) at com.hp.hpl.jena.ontology.OntDocumentManager.initialiseMetadata(OntDocumentManager.java:849) at com.hp.hpl.jena.ontology.OntDocumentManager.<init>(OntDocumentManager.java:197) at com.hp.hpl.jena.ontology.OntDocumentManager.<init>(OntDocumentManager.java:179) at com.hp.hpl.jena.ontology.OntDocumentManager.<init>(OntDocumentManager.java:163) at com.hp.hpl.jena.ontology.OntDocumentManager.getInstance(OntDocumentManager.java:241) at com.hp.hpl.jena.ontology.OntModelSpec.getDocumentManager(OntModelSpec.java:320) at com.hp.hpl.jena.ontology.OntModelSpec.<init>(OntModelSpec.java:207) at org.mindswap.pellet.jena.PelletReasonerFactory.<clinit>(PelletReasonerFactory.java:57) at org.mindswap.pellet.jena.JenaLoader.clear(JenaLoader.java:84) at org.mindswap.pellet.jena.JenaLoader.<init>(JenaLoader.java:42) at pellet.PelletCmdApp.getLoader(PelletCmdApp.java:262) at pellet.PelletCmdApp.getLoader(PelletCmdApp.java:257) at pellet.PelletCmdApp.getKB(PelletCmdApp.java:220) at pellet.PelletRealize.run(PelletRealize.java:67) at pellet.Pellet.run(Pellet.java:105) at pellet.Pellet.main(Pellet.java:59)
Reason: Pellet error or logical contradiction
Supporting Facts:
  • • Pellet reasoner output
First-Order Logic Premises

The following FOL premises have been generated from the ontology axioms:

Type FOL Formula Description
No FOL premises could be generated from this ontology.
Ontology Entities
No classes found.
No object properties found.
No data properties found.
No individuals found.
Discover Real-World Implications

Generate concrete real-world examples that demonstrate how your ontology's logical rules apply in practical situations.

Using AI, we'll analyze your ontology's First-Order Logic premises and create meaningful scenarios that illustrate the implications of your ontological structures.

Generate Implications Interactive Visualization
Upload Another Ontology Back to Home