Module horned_owl::model [−][src]
Horned-OWL
Horned-OWL is a library for the reading, manipulation and generation of OWL ontologies. As well as a library, it offers a number of command-line tools for performing the same.
The focus of this library is on performance, compared to the OWL API. Currently, on IO tasks, it is between 1 and 2 orders of magnitude faster.
Author
This library is written by Phillip Lord phillip.lord@newcastle.ac.uk
Status
At the moment, the library is in early stages and it is not a complete implementation of the OWL specification.
Roadmap
I am working incrementally toward a full implementation. I plan to add semantics in a demand-led way (i.e. as I need it!). Currently, serialisation is to/from OWL Presentation format only, but RDF serialisation will be supported.
- 0.3 Add vocab.rs
- 0.4 Infrastructure for parsable command line tools
- 0.5 More command line tools
- 0.6 OWL Primer ontology read/write
- 0.7 RDF IO
Structs
| AnnotatedAxiom |
An |
| Annotation |
Data associated with a part of the ontology. |
| AnnotationProperty |
An OWL
AnnotationProperty
is a relationship between a part of an ontology and an
|
| AssertAnnotation |
An annotation assertion axiom |
| Build |
|
| Class |
An OWL Class is a group of individuals. |
| DeclareAnnotationProperty |
Declares that an IRI represents an AnnotationProperty in the Ontology. |
| DeclareClass |
Declares that an IRI represents a Class in the Ontology |
| DeclareObjectProperty |
Declares that an IRI represents an ObjectProperty in the Ontology. |
| DisjointClass |
A disjoint relationship between two |
| EquivalentClass |
An equivalance relationship between two |
| IRI |
An IRI is an internationalized version of an URI/URL. |
| InverseObjectProperty |
An inverse relationship between two object properties. |
| ObjectProperty |
An OWL ObjectProperty is a relationship between two individuals. |
| Ontology |
An ontology |
| OntologyAnnotation |
An annotation associated with this Ontology |
| OntologyID |
An ontology identifier |
| SubAnnotationProperty |
An sub-property assertion for annotation properties. |
| SubClass |
A subclass relationship between two |
| SubObjectProperty |
A sub property relationship between two object properties. |
| TransitiveObjectProperty |
A transitive relationship between two object properties. |
Enums
| AnnotationValue |
The value of an annotation |
| Axiom |
An axiom |
| AxiomKind |
Contains all different kinds of axiom |
| ClassExpression |
A class expression |
| NamedEntity |
An OWL entity that is directly resolvable to an IRI |
| ObjectPropertyExpression |
A object property expression |
Traits
| Kinded |
An interface providing access to the |
Functions
| declaration |