Ontology Analysis Report
Ontology Information
File:
legal_ontology_cleaned.owl
IRI:
Not available
Ontology Statistics
39
Classes
16
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: 1296 ms
Start Time: 2025-06-02T23:34:23.318754
End Time: 2025-06-02T23:34:24.614628
Axioms
| Type | Description |
|---|---|
| SubClassOf | Contract ⊑ Thing |
| SubClassOf | Legal_Norm ⊑ Thing |
| SubClassOf | Promise ⊑ Thing |
| SubClassOf | Legal_Process ⊑ Thing |
| SubClassOf | Legal_Entity ⊑ Thing |
| SubClassOf | Legal_Agent ⊑ Thing |
| SubClassOf | LegalRemedy ⊑ Thing |
| SubClassOf | LegalNorm ⊑ Thing |
| SubClassOf | Adjudication ⊑ Thing |
| SubClassOf | Court ⊑ Thing |
| SubClassOf | Normativity ⊑ Thing |
| SubClassOf | Legal_System ⊑ Thing |
| SubClassOf | Phase ⊑ Thing |
| SubClassOf | Agreement ⊑ Thing |
| SubClassOf | Legal_Role ⊑ Thing |
| SubClassOf | Authority ⊑ Thing |
| SubClassOf | LegalRole ⊑ Thing |
| SubClassOf | Judgment ⊑ Thing |
| SubClassOf | Trial ⊑ Thing |
| SubClassOf | LegalStatus ⊑ Thing |
| SubClassOf | Evidence ⊑ Thing |
| SubClassOf | Legal_Fact ⊑ Thing |
| SubClassOf | LegalEvent ⊑ Thing |
| SubClassOf | Regulation ⊑ Thing |
| SubClassOf | LegalDisposition ⊑ Thing |
| SubClassOf | Statute ⊑ Thing |
| SubClassOf | Statutory_Interpretation ⊑ Thing |
| SubClassOf | LegalConstruct ⊑ Thing |
| SubClassOf | Right ⊑ Thing |
| SubClassOf | LegalDetermination ⊑ Thing |
| SubClassOf | Jurisdiction ⊑ Thing |
| SubClassOf | Precedent ⊑ Thing |
| SubClassOf | LegalEntity ⊑ Thing |
| SubClassOf | Legal_Person ⊑ Thing |
| SubClassOf | Legal_Institution ⊑ Thing |
| SubClassOf | Enforcement ⊑ Thing |
| SubClassOf | Obligation ⊑ Thing |
| SubClassOf | Condition ⊑ Thing |
| SubClassOf | Claim ⊑ Thing |
| Type | Description |
|---|---|
| SubClassOf | Contract ⊑ Thing |
| SubClassOf | Legal_Norm ⊑ Thing |
| SubClassOf | Promise ⊑ Thing |
| SubClassOf | Legal_Process ⊑ Thing |
| SubClassOf | Legal_Entity ⊑ Thing |
| SubClassOf | Legal_Agent ⊑ Thing |
| SubClassOf | LegalRemedy ⊑ Thing |
| SubClassOf | LegalNorm ⊑ Thing |
| SubClassOf | Adjudication ⊑ Thing |
| SubClassOf | Court ⊑ Thing |
| SubClassOf | Normativity ⊑ Thing |
| SubClassOf | Legal_System ⊑ Thing |
| SubClassOf | Phase ⊑ Thing |
| SubClassOf | Agreement ⊑ Thing |
| SubClassOf | Legal_Role ⊑ Thing |
| SubClassOf | Authority ⊑ Thing |
| SubClassOf | LegalRole ⊑ Thing |
| SubClassOf | Judgment ⊑ Thing |
| SubClassOf | Trial ⊑ Thing |
| SubClassOf | LegalStatus ⊑ Thing |
| SubClassOf | Evidence ⊑ Thing |
| SubClassOf | Legal_Fact ⊑ Thing |
| SubClassOf | LegalEvent ⊑ Thing |
| SubClassOf | Regulation ⊑ Thing |
| SubClassOf | LegalDisposition ⊑ Thing |
| SubClassOf | Statute ⊑ Thing |
| SubClassOf | Statutory_Interpretation ⊑ Thing |
| SubClassOf | LegalConstruct ⊑ Thing |
| SubClassOf | Right ⊑ Thing |
| SubClassOf | LegalDetermination ⊑ Thing |
| SubClassOf | Jurisdiction ⊑ Thing |
| SubClassOf | Precedent ⊑ Thing |
| SubClassOf | LegalEntity ⊑ Thing |
| SubClassOf | Legal_Person ⊑ Thing |
| SubClassOf | Legal_Institution ⊑ Thing |
| SubClassOf | Enforcement ⊑ Thing |
| SubClassOf | Obligation ⊑ Thing |
| SubClassOf | Condition ⊑ Thing |
| SubClassOf | Claim ⊑ 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, Contract, t) |
Entities that are instances of Contract |
| class | instance_of(x, Legal_Norm, t) |
Entities that are instances of Legal_Norm |
| class | instance_of(x, Promise, t) |
Entities that are instances of Promise |
| class | instance_of(x, Legal_Process, t) |
Entities that are instances of Legal_Process |
| class | instance_of(x, Legal_Entity, t) |
Entities that are instances of Legal_Entity |
| class | instance_of(x, Legal_Agent, t) |
Entities that are instances of Legal_Agent |
| class | instance_of(x, LegalRemedy, t) |
Entities that are instances of LegalRemedy |
| class | instance_of(x, LegalNorm, t) |
Entities that are instances of LegalNorm |
| class | instance_of(x, Adjudication, t) |
Entities that are instances of Adjudication |
| class | instance_of(x, Court, t) |
Entities that are instances of Court |
| class | instance_of(x, Normativity, t) |
Entities that are instances of Normativity |
| class | instance_of(x, Legal_System, t) |
Entities that are instances of Legal_System |
| class | instance_of(x, Phase, t) |
Entities that are instances of Phase |
| class | instance_of(x, Agreement, t) |
Entities that are instances of Agreement |
| class | instance_of(x, Legal_Role, t) |
Entities that are instances of Legal_Role |
| class | instance_of(x, Authority, t) |
Entities that are instances of Authority |
| class | instance_of(x, LegalRole, t) |
Entities that are instances of LegalRole |
| class | instance_of(x, Judgment, t) |
Entities that are instances of Judgment |
| class | instance_of(x, Trial, t) |
Entities that are instances of Trial |
| class | instance_of(x, LegalStatus, t) |
Entities that are instances of LegalStatus |
| class | instance_of(x, Evidence, t) |
Entities that are instances of Evidence |
| class | instance_of(x, Legal_Fact, t) |
Entities that are instances of Legal_Fact |
| class | instance_of(x, LegalEvent, t) |
Entities that are instances of LegalEvent |
| class | instance_of(x, Regulation, t) |
Entities that are instances of Regulation |
| class | instance_of(x, LegalDisposition, t) |
Entities that are instances of LegalDisposition |
| class | instance_of(x, Statute, t) |
Entities that are instances of Statute |
| class | instance_of(x, Statutory_Interpretation, t) |
Entities that are instances of Statutory_Interpretation |
| class | instance_of(x, LegalConstruct, t) |
Entities that are instances of LegalConstruct |
| class | instance_of(x, Right, t) |
Entities that are instances of Right |
| class | instance_of(x, LegalDetermination, t) |
Entities that are instances of LegalDetermination |
| class | instance_of(x, Jurisdiction, t) |
Entities that are instances of Jurisdiction |
| class | instance_of(x, Precedent, t) |
Entities that are instances of Precedent |
| class | instance_of(x, LegalEntity, t) |
Entities that are instances of LegalEntity |
| class | instance_of(x, Legal_Person, t) |
Entities that are instances of Legal_Person |
| class | instance_of(x, Legal_Institution, t) |
Entities that are instances of Legal_Institution |
| class | instance_of(x, Enforcement, t) |
Entities that are instances of Enforcement |
| class | instance_of(x, Obligation, t) |
Entities that are instances of Obligation |
| class | instance_of(x, Condition, t) |
Entities that are instances of Condition |
| class | instance_of(x, Claim, t) |
Entities that are instances of Claim |
| property | enforced_by(x, y, t) |
Relation enforced_by between entities |
| property | has_role(x, y, t) |
Relation has_role between entities |
| property | hasRight(x, y, t) |
Relation hasRight between entities |
| property | hasObligation(x, y, t) |
Relation hasObligation between entities |
| property | participates_in(x, y, t) |
Relation participates_in between entities |
| property | isAssertedIn(x, y, t) |
Relation isAssertedIn between entities |
| property | conflicts_with(x, y, t) |
Relation conflicts_with between entities |
| property | resolves(x, y, t) |
Relation resolves between entities |
| property | determined_by(x, y, t) |
Relation determined_by between entities |
| property | creates(x, y, t) |
Relation creates between entities |
| property | requires(x, y, t) |
Relation requires between entities |
| property | temporally_bounded_by(x, y, t) |
Relation temporally_bounded_by between entities |
| property | constituted_by(x, y, t) |
Relation constituted_by between entities |
| property | dependent_on(x, y, t) |
Relation dependent_on between entities |
| property | realized_in(x, y, t) |
Relation realized_in between entities |
| property | governs(x, y, t) |
Relation governs between entities |
Ontology Entities
- Legal_Agent
- LegalNorm
- Adjudication
- Authority
- LegalEntity
- Statute
- Evidence
- Enforcement
- Agreement
- Court
- Contract
- Legal_Entity
- Legal_Norm
- Claim
- Right
- Phase
- Legal_Process
- Regulation
- Condition
- LegalDetermination
- Promise
- Judgment
- Legal_Fact
- Trial
- LegalEvent
- Legal_Role
- Legal_System
- Statutory_Interpretation
- Normativity
- LegalDisposition
- LegalRole
- Precedent
- LegalConstruct
- LegalStatus
- LegalRemedy
- Legal_Institution
- Legal_Person
- Obligation
- Jurisdiction
- enforced_by
- has_role
- hasRight
- hasObligation
- participates_in
- isAssertedIn
- conflicts_with
- resolves
- determined_by
- creates
- requires
- temporally_bounded_by
- constituted_by
- dependent_on
- realized_in
- governs
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.