Ontology Analysis Report

Ontology Information
File:

Litigation_Ontology_1.owl

IRI:

Not available

Expressivity:

AL

Complexity:

0 axioms

Visualizations:
Interactive Diagram BVSS View
Ontology Statistics

0

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: 937 ms

Start Time: 2025-11-02T21:30:00.907997

End Time: 2025-11-02T21:30:01.844669

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:

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
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