Ontology Analysis Report
Ontology Information
File:
LegalFacts_3.owl
IRI:
Not available
Ontology Statistics
16
Classes
12
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: 1813 ms
Start Time: 2025-06-06T18:46:38.144992
End Time: 2025-06-06T18:46:39.957716
Axioms
Type | Description |
---|---|
SubClassOf | LegalFact ⊑ Thing |
SubClassOf | LegalCase ⊑ Thing |
SubClassOf | LegalActor ⊑ Thing |
SubClassOf | LegalClaim ⊑ Thing |
SubClassOf | LegalReality ⊑ Thing |
SubClassOf | LegalProcess ⊑ Thing |
SubClassOf | DocumentaryAct ⊑ Thing |
SubClassOf | LegalArgument ⊑ Thing |
SubClassOf | RealWorld ⊑ Thing |
SubClassOf | Fact ⊑ Thing |
SubClassOf | Evidence ⊑ Thing |
SubClassOf | LegalOutcome ⊑ Thing |
SubClassOf | LegalEvidence ⊑ Thing |
SubClassOf | LegalRole ⊑ Thing |
SubClassOf | SocialReality ⊑ Thing |
SubClassOf | LegalRule ⊑ Thing |
Type | Description |
---|---|
SubClassOf | LegalFact ⊑ Thing |
SubClassOf | LegalCase ⊑ Thing |
SubClassOf | LegalActor ⊑ Thing |
SubClassOf | LegalClaim ⊑ Thing |
SubClassOf | LegalReality ⊑ Thing |
SubClassOf | LegalProcess ⊑ Thing |
SubClassOf | DocumentaryAct ⊑ Thing |
SubClassOf | LegalArgument ⊑ Thing |
SubClassOf | RealWorld ⊑ Thing |
SubClassOf | Fact ⊑ Thing |
SubClassOf | Evidence ⊑ Thing |
SubClassOf | LegalOutcome ⊑ Thing |
SubClassOf | LegalEvidence ⊑ Thing |
SubClassOf | LegalRole ⊑ Thing |
SubClassOf | SocialReality ⊑ Thing |
SubClassOf | LegalRule ⊑ Thing |
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 |
---|---|---|
class | instance_of(x, LegalFact, t) |
Entities that are instances of LegalFact |
class | instance_of(x, LegalCase, t) |
Entities that are instances of LegalCase |
class | instance_of(x, LegalActor, t) |
Entities that are instances of LegalActor |
class | instance_of(x, LegalClaim, t) |
Entities that are instances of LegalClaim |
class | instance_of(x, LegalReality, t) |
Entities that are instances of LegalReality |
class | instance_of(x, LegalProcess, t) |
Entities that are instances of LegalProcess |
class | instance_of(x, DocumentaryAct, t) |
Entities that are instances of DocumentaryAct |
class | instance_of(x, LegalArgument, t) |
Entities that are instances of LegalArgument |
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, Evidence, t) |
Entities that are instances of Evidence |
class | instance_of(x, LegalOutcome, t) |
Entities that are instances of LegalOutcome |
class | instance_of(x, LegalEvidence, t) |
Entities that are instances of LegalEvidence |
class | instance_of(x, LegalRole, t) |
Entities that are instances of LegalRole |
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
- LegalProcess
- LegalActor
- Fact
- LegalEvidence
- LegalOutcome
- LegalRule
- LegalArgument
- LegalClaim
- RealWorld
- LegalCase
- LegalReality
- DocumentaryAct
- LegalFact
- LegalRole
- SocialReality
- Evidence
- is_about
- determines
- supports
- influences
- applies_to
- participates_in
- corresponds_to
- presents
- has_part
- constitutes
- involves
- produces
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.