Ontology 'LegalFacts_3' exported to History.
Ontology Analysis Report
Ontology 'LegalFacts_3' exported to History.
Ontology Information
File:
LegalFacts_3.owl
IRI:
Not available
Ontology Statistics
16
Classes
12
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: 1005 ms
Start Time: 2025-12-15T19:08:24.640373
End Time: 2025-12-15T19:08:25.644998
Axioms
| Type | Description |
|---|---|
| SubClassOf | LegalRole ⊑ Thing |
| SubClassOf | LegalFact ⊑ Thing |
| SubClassOf | LegalArgument ⊑ Thing |
| SubClassOf | LegalClaim ⊑ Thing |
| SubClassOf | LegalProcess ⊑ Thing |
| SubClassOf | Evidence ⊑ Thing |
| SubClassOf | LegalCase ⊑ Thing |
| SubClassOf | RealWorld ⊑ Thing |
| SubClassOf | Fact ⊑ Thing |
| SubClassOf | DocumentaryAct ⊑ Thing |
| SubClassOf | LegalEvidence ⊑ Thing |
| SubClassOf | LegalReality ⊑ Thing |
| SubClassOf | LegalOutcome ⊑ Thing |
| SubClassOf | LegalActor ⊑ Thing |
| SubClassOf | SocialReality ⊑ Thing |
| SubClassOf | LegalRule ⊑ Thing |
| Type | Description |
|---|---|
| SubClassOf | LegalRole ⊑ Thing |
| SubClassOf | LegalFact ⊑ Thing |
| SubClassOf | LegalArgument ⊑ Thing |
| SubClassOf | LegalClaim ⊑ Thing |
| SubClassOf | LegalProcess ⊑ Thing |
| SubClassOf | Evidence ⊑ Thing |
| SubClassOf | LegalCase ⊑ Thing |
| SubClassOf | RealWorld ⊑ Thing |
| SubClassOf | Fact ⊑ Thing |
| SubClassOf | DocumentaryAct ⊑ Thing |
| SubClassOf | LegalEvidence ⊑ Thing |
| SubClassOf | LegalReality ⊑ Thing |
| SubClassOf | LegalOutcome ⊑ Thing |
| SubClassOf | LegalActor ⊑ Thing |
| SubClassOf | SocialReality ⊑ Thing |
| SubClassOf | LegalRule ⊑ 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, LegalRole, t) |
Entities that are instances of LegalRole |
| class | instance_of(x, LegalFact, t) |
Entities that are instances of LegalFact |
| class | instance_of(x, LegalArgument, t) |
Entities that are instances of LegalArgument |
| class | instance_of(x, LegalClaim, t) |
Entities that are instances of LegalClaim |
| class | instance_of(x, LegalProcess, t) |
Entities that are instances of LegalProcess |
| class | instance_of(x, Evidence, t) |
Entities that are instances of Evidence |
| class | instance_of(x, LegalCase, t) |
Entities that are instances of LegalCase |
| class | instance_of(x, RealWorld, t) |
Entities that are instances of RealWorld |
| class | instance_of(x, Fact, t) |
Entities that are instances of Fact |
| class | instance_of(x, DocumentaryAct, t) |
Entities that are instances of DocumentaryAct |
| class | instance_of(x, LegalEvidence, t) |
Entities that are instances of LegalEvidence |
| class | instance_of(x, LegalReality, t) |
Entities that are instances of LegalReality |
| class | instance_of(x, LegalOutcome, t) |
Entities that are instances of LegalOutcome |
| class | instance_of(x, LegalActor, t) |
Entities that are instances of LegalActor |
| class | instance_of(x, SocialReality, t) |
Entities that are instances of SocialReality |
| class | instance_of(x, LegalRule, t) |
Entities that are instances of LegalRule |
| property | is_about(x, y, t) |
Relation is_about between entities |
| property | determines(x, y, t) |
Relation determines between entities |
| property | supports(x, y, t) |
Relation supports between entities |
| property | influences(x, y, t) |
Relation influences between entities |
| property | applies_to(x, y, t) |
Relation applies_to between entities |
| property | participates_in(x, y, t) |
Relation participates_in between entities |
| property | corresponds_to(x, y, t) |
Relation corresponds_to between entities |
| property | presents(x, y, t) |
Relation presents between entities |
| property | has_part(x, y, t) |
Relation has_part between entities |
| property | constitutes(x, y, t) |
Relation constitutes between entities |
| property | involves(x, y, t) |
Relation involves between entities |
| property | produces(x, y, t) |
Relation produces between entities |
Ontology Entities
- LegalClaim
- RealWorld
- Fact
- DocumentaryAct
- LegalEvidence
- LegalReality
- LegalRule
- LegalFact
- SocialReality
- LegalCase
- LegalOutcome
- LegalActor
- LegalArgument
- Evidence
- LegalRole
- LegalProcess
- is_about
- determines
- supports
- influences
- applies_to
- participates_in
- corresponds_to
- presents
- has_part
- constitutes
- involves
- produces
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.