Ontology 'converter' exported to History.
Ontology Analysis Report
Ontology 'converter' exported to History.
Ontology Information
File:
converter.owl
IRI:
Not available
Ontology Statistics
17
Classes
21
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: 1848 ms
Start Time: 2025-08-02T23:28:55.563953
End Time: 2025-08-02T23:28:57.411789
Axioms
| Type | Description |
|---|---|
| SubClassOf | GovernmentOrganization ⊑ Thing |
| SubClassOf | 52453 ⊑ Thing |
| SubClassOf | CantonalAgriculturalOffice ⊑ Thing |
| SubClassOf | 52451 ⊑ Thing |
| SubClassOf | Service ⊑ Thing |
| SubClassOf | CantonalAgriculturalAdvisor ⊑ Thing |
| SubClassOf | MasterData ⊑ Thing |
| SubClassOf | CantonalVeterinaryService ⊑ Thing |
| SubClassOf | Organization ⊑ Thing |
| SubClassOf | FederalOrganization ⊑ Thing |
| SubClassOf | Legislation ⊑ Thing |
| SubClassOf | TransactionalData ⊑ Thing |
| SubClassOf | CantonalOrganization ⊑ Thing |
| SubClassOf | PrivateOrganization ⊑ Thing |
| SubClassOf | DefinedTermSet ⊑ Thing |
| SubClassOf | Dataset ⊑ Thing |
| SubClassOf | SoftwareApplication ⊑ Thing |
| Type | Description |
|---|---|
| SubClassOf | GovernmentOrganization ⊑ Thing |
| SubClassOf | 52453 ⊑ Thing |
| SubClassOf | CantonalAgriculturalOffice ⊑ Thing |
| SubClassOf | 52451 ⊑ Thing |
| SubClassOf | Service ⊑ Thing |
| SubClassOf | CantonalAgriculturalAdvisor ⊑ Thing |
| SubClassOf | MasterData ⊑ Thing |
| SubClassOf | CantonalVeterinaryService ⊑ Thing |
| SubClassOf | Organization ⊑ Thing |
| SubClassOf | FederalOrganization ⊑ Thing |
| SubClassOf | Legislation ⊑ Thing |
| SubClassOf | TransactionalData ⊑ Thing |
| SubClassOf | CantonalOrganization ⊑ Thing |
| SubClassOf | PrivateOrganization ⊑ Thing |
| SubClassOf | DefinedTermSet ⊑ Thing |
| SubClassOf | Dataset ⊑ Thing |
| SubClassOf | SoftwareApplication ⊑ 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, GovernmentOrganization, t) |
Entities that are instances of GovernmentOrganization |
| class | instance_of(x, 52453, t) |
Entities that are instances of 52453 |
| class | instance_of(x, CantonalAgriculturalOffice, t) |
Entities that are instances of CantonalAgriculturalOffice |
| class | instance_of(x, 52451, t) |
Entities that are instances of 52451 |
| class | instance_of(x, Service, t) |
Entities that are instances of Service |
| class | instance_of(x, CantonalAgriculturalAdvisor, t) |
Entities that are instances of CantonalAgriculturalAdvisor |
| class | instance_of(x, MasterData, t) |
Entities that are instances of MasterData |
| class | instance_of(x, CantonalVeterinaryService, t) |
Entities that are instances of CantonalVeterinaryService |
| class | instance_of(x, Organization, t) |
Entities that are instances of Organization |
| class | instance_of(x, FederalOrganization, t) |
Entities that are instances of FederalOrganization |
| class | instance_of(x, Legislation, t) |
Entities that are instances of Legislation |
| class | instance_of(x, TransactionalData, t) |
Entities that are instances of TransactionalData |
| class | instance_of(x, CantonalOrganization, t) |
Entities that are instances of CantonalOrganization |
| class | instance_of(x, PrivateOrganization, t) |
Entities that are instances of PrivateOrganization |
| class | instance_of(x, DefinedTermSet, t) |
Entities that are instances of DefinedTermSet |
| class | instance_of(x, Dataset, t) |
Entities that are instances of Dataset |
| class | instance_of(x, SoftwareApplication, t) |
Entities that are instances of SoftwareApplication |
| property | consumedby(x, y, t) |
Relation consumedby between entities |
| property | consumes(x, y, t) |
Relation consumes between entities |
| property | providedBy(x, y, t) |
Relation providedBy between entities |
| property | provides(x, y, t) |
Relation provides between entities |
| property | member(x, y, t) |
Relation member between entities |
| property | memberOf(x, y, t) |
Relation memberOf between entities |
| property | parentOrganization(x, y, t) |
Relation parentOrganization between entities |
| property | subOrganization(x, y, t) |
Relation subOrganization between entities |
| property | landingPage(x, y, t) |
Relation landingPage between entities |
| property | wasDerivedFrom(x, y, t) |
Relation wasDerivedFrom between entities |
| property | informs(x, y, t) |
Relation informs between entities |
| property | access(x, y, t) |
Relation access between entities |
| property | containedIn(x, y, t) |
Relation containedIn between entities |
| property | contains(x, y, t) |
Relation contains between entities |
| property | hasLegalBasis(x, y, t) |
Relation hasLegalBasis between entities |
| property | operatedBy(x, y, t) |
Relation operatedBy between entities |
| property | operates(x, y, t) |
Relation operates between entities |
| property | ownedBy(x, y, t) |
Relation ownedBy between entities |
| property | owns(x, y, t) |
Relation owns between entities |
| property | references(x, y, t) |
Relation references between entities |
| property | usesMasterData(x, y, t) |
Relation usesMasterData between entities |
Ontology Entities
- CantonalAgriculturalOffice
- Service
- DefinedTermSet
- FederalOrganization
- CantonalVeterinaryService
- CantonalAgriculturalAdvisor
- Organization
- Legislation
- Dataset
- 52453
- SoftwareApplication
- CantonalOrganization
- MasterData
- GovernmentOrganization
- PrivateOrganization
- TransactionalData
- 52451
- consumedby
- consumes
- providedBy
- provides
- member
- memberOf
- parentOrganization
- subOrganization
- landingPage
- wasDerivedFrom
- informs
- access
- containedIn
- contains
- hasLegalBasis
- operatedBy
- operates
- ownedBy
- owns
- references
- usesMasterData
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.