Ontology Analysis Report
Ontology Information
File:
owl.owl
IRI:
Not available
Ontology Statistics
7
Classes
6
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: 1197 ms
Start Time: 2026-01-01T05:31:06.626148
End Time: 2026-01-01T05:31:07.822675
Axioms
| Type | Description |
|---|---|
| SubClassOf | FlagshipInitiative ⊑ Thing |
| SubClassOf | DomainOfWork ⊑ Thing |
| SubClassOf | GovernmentOrganization ⊑ Thing |
| SubClassOf | QueryType ⊑ Thing |
| SubClassOf | FunctionalRole ⊑ Thing |
| SubClassOf | Affiliation ⊑ Thing |
| SubClassOf | SearchQuery ⊑ Thing |
| Type | Description |
|---|---|
| SubClassOf | FlagshipInitiative ⊑ Thing |
| SubClassOf | DomainOfWork ⊑ Thing |
| SubClassOf | GovernmentOrganization ⊑ Thing |
| SubClassOf | QueryType ⊑ Thing |
| SubClassOf | FunctionalRole ⊑ Thing |
| SubClassOf | Affiliation ⊑ Thing |
| SubClassOf | SearchQuery ⊑ 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, FlagshipInitiative, t) |
Entities that are instances of FlagshipInitiative |
| class | instance_of(x, DomainOfWork, t) |
Entities that are instances of DomainOfWork |
| class | instance_of(x, GovernmentOrganization, t) |
Entities that are instances of GovernmentOrganization |
| class | instance_of(x, QueryType, t) |
Entities that are instances of QueryType |
| class | instance_of(x, FunctionalRole, t) |
Entities that are instances of FunctionalRole |
| class | instance_of(x, Affiliation, t) |
Entities that are instances of Affiliation |
| class | instance_of(x, SearchQuery, t) |
Entities that are instances of SearchQuery |
| property | hasFunctionalRole(x, y, t) |
Relation hasFunctionalRole between entities |
| property | hasDomainOfWork(x, y, t) |
Relation hasDomainOfWork between entities |
| property | hasFlagshipInitiative(x, y, t) |
Relation hasFlagshipInitiative between entities |
| property | hasAffiliation(x, y, t) |
Relation hasAffiliation between entities |
| property | hasQueryType(x, y, t) |
Relation hasQueryType between entities |
| property | hasSearchQuery(x, y, t) |
Relation hasSearchQuery between entities |
Ontology Entities
- SearchQuery
- FunctionalRole
- GovernmentOrganization
- QueryType
- DomainOfWork
- FlagshipInitiative
- Affiliation
- hasFunctionalRole
- hasDomainOfWork
- hasFlagshipInitiative
- hasAffiliation
- hasQueryType
- hasSearchQuery
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.