Ontology Analysis Report

Ontology Information
File:

DigitalObjects.owl

IRI:

Not available

Expressivity:

AL

Complexity:

12 axioms

Visualizations:
Ontology Statistics

4

Classes

0

Object Properties

0

Data Properties

0

Individuals

Consistency Check
Consistent
The ontology is logically consistent. No contradictions were found.
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
  • OWL Full constructs not supported
  • Resolution is limited to standard tableaux algorithm capabilities
Performance:

Reasoning Time: 1335 ms

Start Time: 2025-06-02T06:37:30.641330

End Time: 2025-06-02T06:37:31.976202

Axioms
Type Description
SubClassOf DependentContinuant ⊑ Thing
SubClassOf Occurrent ⊑ Thing
SubClassOf IndependentContinuant ⊑ Thing
SubClassOf Relation ⊑ Thing
Type Description
SubClassOf DependentContinuant ⊑ Thing
SubClassOf Occurrent ⊑ Thing
SubClassOf IndependentContinuant ⊑ Thing
SubClassOf Relation ⊑ Thing
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:

No derivation steps are available for this ontology. This could be because:
  • No inferences were made during reasoning
  • The ontology was analyzed using a method that doesn't track derivations
  • The reasoner encountered an error during the inference process
First-Order Logic Premises

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

Type FOL Formula Description
class instance_of(x, DependentContinuant, t) Entities that are instances of DependentContinuant
class instance_of(x, Occurrent, t) Entities that are instances of Occurrent
class instance_of(x, IndependentContinuant, t) Entities that are instances of IndependentContinuant
class instance_of(x, Relation, t) Entities that are instances of Relation
Ontology Entities
  • Relation
  • Occurrent
  • DependentContinuant
  • IndependentContinuant
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.