Ontology Analysis Report
Ontology Information
File:
LegalFacts_3.owl
IRI:
Not available
Ontology Statistics
0
Classes
0
Object Properties
0
Data Properties
0
Individuals
Consistency Check
ConsistentReasoning 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: 1383 ms
Start Time: 2025-05-31T23:55:17.359125
End Time: 2025-05-31T23:55:18.741844
Axioms
Type | Description |
---|
Type | Description |
---|
Type | Description |
---|
Type | Description |
---|
Inferred Axioms
Type | Description |
---|---|
No inferred axioms available |
Derivation Trace
This visualization shows how inferences were derived during reasoning:
- 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 |
---|
Ontology Entities
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.