Ontology 'full_corporate_ontology_structured' exported to History.
Ontology Analysis Report
Ontology 'full_corporate_ontology_structured' exported to History.
Ontology Information
File:
full_corporate_ontology_structured.owl
IRI:
Not available
Ontology Statistics
29
Classes
11
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: 1358 ms
Start Time: 2025-08-02T19:40:45.565130
End Time: 2025-08-02T19:40:46.923586
Axioms
| Type | Description |
|---|---|
| SubClassOf | SubsidiaryCompany ⊑ Thing |
| SubClassOf | PrivateLimitedCompany ⊑ Thing |
| SubClassOf | SoleProprietorship ⊑ Thing |
| SubClassOf | Cooperative ⊑ Thing |
| SubClassOf | Government ⊑ Thing |
| SubClassOf | TaxStatus ⊑ Thing |
| SubClassOf | Person ⊑ Thing |
| SubClassOf | Association ⊑ Thing |
| SubClassOf | LiabilityType ⊑ Thing |
| SubClassOf | Trust ⊑ Thing |
| SubClassOf | BenefitCorporation ⊑ Thing |
| SubClassOf | Jurisdiction ⊑ Thing |
| SubClassOf | Entity ⊑ Thing |
| SubClassOf | NonprofitOrganization ⊑ Thing |
| SubClassOf | LimitedLiabilityPartnership ⊑ Thing |
| SubClassOf | Registration ⊑ Thing |
| SubClassOf | PurposeType ⊑ Thing |
| SubClassOf | Partnership ⊑ Thing |
| SubClassOf | HoldingCompany ⊑ Thing |
| SubClassOf | GovernanceStructure ⊑ Thing |
| SubClassOf | PublicLimitedCompany ⊑ Thing |
| SubClassOf | GeneralPartnership ⊑ Thing |
| SubClassOf | LimitedPartnership ⊑ Thing |
| SubClassOf | LegalForm ⊑ Thing |
| SubClassOf | OwnershipRelation ⊑ Thing |
| SubClassOf | StateOwnedEnterprise ⊑ Thing |
| SubClassOf | Corporation ⊑ Thing |
| SubClassOf | LegalEntity ⊑ Thing |
| SubClassOf | Foundation ⊑ Thing |
| Type | Description |
|---|---|
| SubClassOf | SubsidiaryCompany ⊑ Thing |
| SubClassOf | PrivateLimitedCompany ⊑ Thing |
| SubClassOf | SoleProprietorship ⊑ Thing |
| SubClassOf | Cooperative ⊑ Thing |
| SubClassOf | Government ⊑ Thing |
| SubClassOf | TaxStatus ⊑ Thing |
| SubClassOf | Person ⊑ Thing |
| SubClassOf | Association ⊑ Thing |
| SubClassOf | LiabilityType ⊑ Thing |
| SubClassOf | Trust ⊑ Thing |
| SubClassOf | BenefitCorporation ⊑ Thing |
| SubClassOf | Jurisdiction ⊑ Thing |
| SubClassOf | Entity ⊑ Thing |
| SubClassOf | NonprofitOrganization ⊑ Thing |
| SubClassOf | LimitedLiabilityPartnership ⊑ Thing |
| SubClassOf | Registration ⊑ Thing |
| SubClassOf | PurposeType ⊑ Thing |
| SubClassOf | Partnership ⊑ Thing |
| SubClassOf | HoldingCompany ⊑ Thing |
| SubClassOf | GovernanceStructure ⊑ Thing |
| SubClassOf | PublicLimitedCompany ⊑ Thing |
| SubClassOf | GeneralPartnership ⊑ Thing |
| SubClassOf | LimitedPartnership ⊑ Thing |
| SubClassOf | LegalForm ⊑ Thing |
| SubClassOf | OwnershipRelation ⊑ Thing |
| SubClassOf | StateOwnedEnterprise ⊑ Thing |
| SubClassOf | Corporation ⊑ Thing |
| SubClassOf | LegalEntity ⊑ Thing |
| SubClassOf | Foundation ⊑ 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, SubsidiaryCompany, t) |
Entities that are instances of SubsidiaryCompany |
| class | instance_of(x, PrivateLimitedCompany, t) |
Entities that are instances of PrivateLimitedCompany |
| class | instance_of(x, SoleProprietorship, t) |
Entities that are instances of SoleProprietorship |
| class | instance_of(x, Cooperative, t) |
Entities that are instances of Cooperative |
| class | instance_of(x, Government, t) |
Entities that are instances of Government |
| class | instance_of(x, TaxStatus, t) |
Entities that are instances of TaxStatus |
| class | instance_of(x, Person, t) |
Entities that are instances of Person |
| class | instance_of(x, Association, t) |
Entities that are instances of Association |
| class | instance_of(x, LiabilityType, t) |
Entities that are instances of LiabilityType |
| class | instance_of(x, Trust, t) |
Entities that are instances of Trust |
| class | instance_of(x, BenefitCorporation, t) |
Entities that are instances of BenefitCorporation |
| class | instance_of(x, Jurisdiction, t) |
Entities that are instances of Jurisdiction |
| class | instance_of(x, NonprofitOrganization, t) |
Entities that are instances of NonprofitOrganization |
| class | instance_of(x, LimitedLiabilityPartnership, t) |
Entities that are instances of LimitedLiabilityPartnership |
| class | instance_of(x, Registration, t) |
Entities that are instances of Registration |
| class | instance_of(x, PurposeType, t) |
Entities that are instances of PurposeType |
| class | instance_of(x, Partnership, t) |
Entities that are instances of Partnership |
| class | instance_of(x, HoldingCompany, t) |
Entities that are instances of HoldingCompany |
| class | instance_of(x, GovernanceStructure, t) |
Entities that are instances of GovernanceStructure |
| class | instance_of(x, PublicLimitedCompany, t) |
Entities that are instances of PublicLimitedCompany |
| class | instance_of(x, GeneralPartnership, t) |
Entities that are instances of GeneralPartnership |
| class | instance_of(x, LimitedPartnership, t) |
Entities that are instances of LimitedPartnership |
| class | instance_of(x, LegalForm, t) |
Entities that are instances of LegalForm |
| class | instance_of(x, OwnershipRelation, t) |
Entities that are instances of OwnershipRelation |
| class | instance_of(x, StateOwnedEnterprise, t) |
Entities that are instances of StateOwnedEnterprise |
| class | instance_of(x, Corporation, t) |
Entities that are instances of Corporation |
| class | instance_of(x, LegalEntity, t) |
Entities that are instances of LegalEntity |
| class | instance_of(x, Foundation, t) |
Entities that are instances of Foundation |
| property | has_owner(x, y, t) |
Relation has_owner between entities |
| property | owns_entity(x, y, t) |
Relation owns_entity between entities |
| property | is_subsidiary_of(x, y, t) |
Relation is_subsidiary_of between entities |
| property | has_legal_form(x, y, t) |
Relation has_legal_form between entities |
| property | is_registered_in(x, y, t) |
Relation is_registered_in between entities |
| property | has_liability_type(x, y, t) |
Relation has_liability_type between entities |
| property | has_governance_structure(x, y, t) |
Relation has_governance_structure between entities |
| property | has_tax_status(x, y, t) |
Relation has_tax_status between entities |
| property | has_purpose(x, y, t) |
Relation has_purpose between entities |
| property | through_relation(x, y, t) |
Relation through_relation between entities |
| property | with_registration(x, y, t) |
Relation with_registration between entities |
Ontology Entities
- Trust
- Government
- GovernanceStructure
- LimitedLiabilityPartnership
- Person
- SubsidiaryCompany
- Jurisdiction
- LiabilityType
- Corporation
- PublicLimitedCompany
- HoldingCompany
- StateOwnedEnterprise
- LegalEntity
- LimitedPartnership
- Association
- Partnership
- Entity
- LegalForm
- SoleProprietorship
- PurposeType
- TaxStatus
- BenefitCorporation
- Foundation
- Registration
- PrivateLimitedCompany
- Cooperative
- OwnershipRelation
- GeneralPartnership
- NonprofitOrganization
- has_owner
- owns_entity
- is_subsidiary_of
- has_legal_form
- is_registered_in
- has_liability_type
- has_governance_structure
- has_tax_status
- has_purpose
- through_relation
- with_registration
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.