Ontology 'ontology_contract' exported to History.
Ontology Analysis Report
Ontology 'ontology_contract' exported to History.
Ontology Information
File:
ontology_contract.owl
IRI:
Not available
Ontology Statistics
11
Classes
5
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: 2121 ms
Start Time: 2025-06-06T20:23:00.278950
End Time: 2025-06-06T20:23:02.399869
Axioms
| Type | Description |
|---|---|
| SubClassOf | Contract ⊑ Thing |
| SubClassOf | Consideration ⊑ Thing |
| SubClassOf | ContractFormation ⊑ Thing |
| SubClassOf | DisputeResolution ⊑ Thing |
| SubClassOf | Party ⊑ Thing |
| SubClassOf | Right ⊑ Thing |
| SubClassOf | Clause ⊑ Thing |
| SubClassOf | MeetingOfTheMinds ⊑ Thing |
| SubClassOf | Obligation ⊑ Thing |
| SubClassOf | Performance ⊑ Thing |
| SubClassOf | Breach ⊑ Thing |
| Type | Description |
|---|---|
| SubClassOf | Contract ⊑ Thing |
| SubClassOf | Consideration ⊑ Thing |
| SubClassOf | ContractFormation ⊑ Thing |
| SubClassOf | DisputeResolution ⊑ Thing |
| SubClassOf | Party ⊑ Thing |
| SubClassOf | Right ⊑ Thing |
| SubClassOf | Clause ⊑ Thing |
| SubClassOf | MeetingOfTheMinds ⊑ Thing |
| SubClassOf | Obligation ⊑ Thing |
| SubClassOf | Performance ⊑ Thing |
| SubClassOf | Breach ⊑ 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, Consideration, t) |
Entities that are instances of Consideration |
| class | instance_of(x, ContractFormation, t) |
Entities that are instances of ContractFormation |
| class | instance_of(x, DisputeResolution, t) |
Entities that are instances of DisputeResolution |
| class | instance_of(x, Party, t) |
Entities that are instances of Party |
| class | instance_of(x, Right, t) |
Entities that are instances of Right |
| class | instance_of(x, Clause, t) |
Entities that are instances of Clause |
| class | instance_of(x, MeetingOfTheMinds, t) |
Entities that are instances of MeetingOfTheMinds |
| class | instance_of(x, Obligation, t) |
Entities that are instances of Obligation |
| class | instance_of(x, Performance, t) |
Entities that are instances of Performance |
| class | instance_of(x, Breach, t) |
Entities that are instances of Breach |
| property | hasPart(x, y, t) |
Relation hasPart between entities |
| property | involves(x, y, t) |
Relation involves between entities |
| property | specifies(x, y, t) |
Relation specifies between entities |
| property | requires(x, y, t) |
Relation requires between entities |
| property | resultsIn(x, y, t) |
Relation resultsIn between entities |
Ontology Entities
- Performance
- Consideration
- DisputeResolution
- MeetingOfTheMinds
- Contract
- Breach
- Obligation
- Clause
- Party
- Right
- ContractFormation
- hasPart
- involves
- specifies
- requires
- resultsIn
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.