Struct horned_owl::model::Ontology

pub struct Ontology {
    pub id: OntologyID,
    /* private fields */
}

An ontology

An ontology consists of a identifier and set of axiom

Fields

id: OntologyID

Implementations

impl Ontology

pub fn import(&self) -> impl Iterator<Item = &Import>

Return all instances of Import in the ontology.

impl Ontology

pub fn ontology_annotation(&self) -> impl Iterator<Item = &OntologyAnnotation>

Return all instances of OntologyAnnotation in the ontology.

impl Ontology

pub fn declare_class(&self) -> impl Iterator<Item = &DeclareClass>

Return all instances of DeclareClass in the ontology.

impl Ontology

pub fn declare_object_property(
    &self
) -> impl Iterator<Item = &DeclareObjectProperty>

Return all instances of DeclareObjectProperty in the ontology.

impl Ontology

pub fn declare_annotation_property(
    &self
) -> impl Iterator<Item = &DeclareAnnotationProperty>

Return all instances of DeclareAnnotationProperty in the ontology.

impl Ontology

pub fn declare_data_property(
    &self
) -> impl Iterator<Item = &DeclareDataProperty>

Return all instances of DeclareDataProperty in the ontology.

impl Ontology

pub fn declare_named_individual(
    &self
) -> impl Iterator<Item = &DeclareNamedIndividual>

Return all instances of DeclareNamedIndividual in the ontology.

impl Ontology

pub fn declare_datatype(&self) -> impl Iterator<Item = &DeclareDatatype>

Return all instances of DeclareDatatype in the ontology.

impl Ontology

pub fn sub_class(&self) -> impl Iterator<Item = &SubClassOf>

Return all instances of SubClassOf in the ontology.

impl Ontology

pub fn equivalent_class(&self) -> impl Iterator<Item = &EquivalentClasses>

Return all instances of EquivalentClasses in the ontology.

impl Ontology

pub fn disjoint_class(&self) -> impl Iterator<Item = &DisjointClasses>

Return all instances of DisjointClasses in the ontology.

impl Ontology

pub fn sub_object_property(&self) -> impl Iterator<Item = &SubObjectPropertyOf>

Return all instances of SubObjectPropertyOf in the ontology.

impl Ontology

pub fn equivalent_object_properties(
    &self
) -> impl Iterator<Item = &EquivalentObjectProperties>

Return all instances of EquivalentObjectProperties in the ontology.

impl Ontology

pub fn disjoint_object_properties(
    &self
) -> impl Iterator<Item = &DisjointObjectProperties>

Return all instances of DisjointObjectProperties in the ontology.

impl Ontology

pub fn inverse_object_properties(
    &self
) -> impl Iterator<Item = &InverseObjectProperties>

Return all instances of InverseObjectProperties in the ontology.

impl Ontology

pub fn object_property_domain(
    &self
) -> impl Iterator<Item = &ObjectPropertyDomain>

Return all instances of ObjectPropertyDomain in the ontology.

impl Ontology

pub fn object_property_range(
    &self
) -> impl Iterator<Item = &ObjectPropertyRange>

Return all instances of ObjectPropertyRange in the ontology.

impl Ontology

pub fn functional_object_property(
    &self
) -> impl Iterator<Item = &FunctionalObjectProperty>

Return all instances of FunctionalObjectProperty in the ontology.

impl Ontology

pub fn inverse_functional_object_property(
    &self
) -> impl Iterator<Item = &InverseFunctionalObjectProperty>

Return all instances of InverseFunctionalObjectProperty in the ontology.

impl Ontology

pub fn reflexive_object_property(
    &self
) -> impl Iterator<Item = &ReflexiveObjectProperty>

Return all instances of ReflexiveObjectProperty in the ontology.

impl Ontology

pub fn irreflexive_object_property(
    &self
) -> impl Iterator<Item = &IrreflexiveObjectProperty>

Return all instances of IrreflexiveObjectProperty in the ontology.

impl Ontology

pub fn symmetric_object_property(
    &self
) -> impl Iterator<Item = &SymmetricObjectProperty>

Return all instances of SymmetricObjectProperty in the ontology.

impl Ontology

pub fn assymmetric_object_property(
    &self
) -> impl Iterator<Item = &AsymmetricObjectProperty>

Return all instances of AsymmetricObjectProperty in the ontology.

impl Ontology

pub fn transitive_object_property(
    &self
) -> impl Iterator<Item = &TransitiveObjectProperty>

Return all instances of TransitiveObjectProperty in the ontology.

impl Ontology

pub fn sub_data_property_of(&self) -> impl Iterator<Item = &SubDataPropertyOf>

Return all instances of SubDataPropertyOf in the ontology.

impl Ontology

pub fn equivalent_data_properties(
    &self
) -> impl Iterator<Item = &EquivalentDataProperties>

Return all instances of EquivalentDataProperties in the ontology.

impl Ontology

pub fn disjoint_data_properties(
    &self
) -> impl Iterator<Item = &DisjointDataProperties>

Return all instances of DisjointDataProperties in the ontology.

impl Ontology

pub fn data_property_domain(&self) -> impl Iterator<Item = &DataPropertyDomain>

Return all instances of DataPropertyDomain in the ontology.

impl Ontology

pub fn data_property_range(&self) -> impl Iterator<Item = &DataPropertyRange>

Return all instances of DataPropertyRange in the ontology.

impl Ontology

pub fn functional_data_property(
    &self
) -> impl Iterator<Item = &FunctionalDataProperty>

Return all instances of FunctionalDataProperty in the ontology.

impl Ontology

pub fn datatype_definition(&self) -> impl Iterator<Item = &DatatypeDefinition>

Return all instances of DatatypeDefinition in the ontology.

impl Ontology

pub fn has_key(&self) -> impl Iterator<Item = &HasKey>

Return all instances of HasKey in the ontology.

impl Ontology

pub fn same_individual(&self) -> impl Iterator<Item = &SameIndividual>

Return all instances of SameIndividual in the ontology.

impl Ontology

pub fn different_individuals(
    &self
) -> impl Iterator<Item = &DifferentIndividuals>

Return all instances of DifferentIndividuals in the ontology.

impl Ontology

pub fn class_assertion(&self) -> impl Iterator<Item = &ClassAssertion>

Return all instances of ClassAssertion in the ontology.

impl Ontology

pub fn object_property_assertion(
    &self
) -> impl Iterator<Item = &ObjectPropertyAssertion>

Return all instances of ObjectPropertyAssertion in the ontology.

impl Ontology

pub fn negative_object_property_assertion(
    &self
) -> impl Iterator<Item = &NegativeObjectPropertyAssertion>

Return all instances of NegativeObjectPropertyAssertion in the ontology.

impl Ontology

pub fn data_property_assertion(
    &self
) -> impl Iterator<Item = &DataPropertyAssertion>

Return all instances of DataPropertyAssertion in the ontology.

impl Ontology

pub fn negative_data_property_assertion(
    &self
) -> impl Iterator<Item = &NegativeDataPropertyAssertion>

Return all instances of NegativeDataPropertyAssertion in the ontology.

impl Ontology

pub fn annotation_assertion(&self) -> impl Iterator<Item = &AnnotationAssertion>

Return all instances of AnnotationAssertion in the ontology.

impl Ontology

pub fn sub_annotation_property_of(
    &self
) -> impl Iterator<Item = &SubAnnotationPropertyOf>

Return all instances of SubAnnotationPropertyOf in the ontology.

impl Ontology

pub fn new() -> Ontology

Create a new ontology.

Examples

let o = Ontology::new();
let o2 = Ontology::new();

assert_eq!(o, o2);

pub fn insert<A>(&mut self, ax: A) -> boolwhere
    A: Into<AnnotatedAxiom>,

Insert an axiom into the ontology.

Examples

let mut o = Ontology::new();
let b = Build::new();
o.insert(DeclareClass(b.class("http://www.example.com/a")));
o.insert(DeclareObjectProperty(b.object_property("http://www.example.com/r")));

See declare for an easier way to declare named entities.

pub fn declare<N>(&mut self, ne: N) -> boolwhere
    N: Into<NamedEntity>,

Declare an NamedEntity for the ontology.

Examples

let mut o = Ontology::new();
let b = Build::new();
o.declare(b.class("http://www.example.com/a"));
o.declare(b.object_property("http://www.example.com/r"));

pub fn annotated_axiom(
    &self,
    axk: AxiomKind
) -> impl Iterator<Item = &AnnotatedAxiom>

Fetch the AnnotatedAxiom for a given kind

Examples

let mut o = Ontology::new();
let b = Build::new();
o.declare(b.class("http://www.example.com/a"));
o.declare(b.object_property("http://www.example.com/r"));

assert_eq!(o.annotated_axiom(AxiomKind::DeclareClass).count(), 1);

See also axiom for access to the Axiom without annotations.

pub fn axiom(&self, axk: AxiomKind) -> impl Iterator<Item = &Axiom>

Fetch the Axiom for a given kind

Examples

let mut o = Ontology::new();
let b = Build::new();
o.declare(b.class("http://www.example.com/a"));
o.declare(b.object_property("http://www.example.com/r"));

assert_eq!(o.axiom(AxiomKind::DeclareClass).count(), 1);

See methods such as declare_class for access to the Axiom struct directly.

impl Ontology

pub fn direct_subclass<C>(&self, c: C) -> impl Iterator<Item = &ClassExpression>where
    C: Into<ClassExpression>,

Returns all direct subclasses

Examples

let mut o = Ontology::new();
let b = Build::new();

let sup = b.class("http://www.example.com/super");
let sub = b.class("http://www.example.com/sub");
let subsub = b.class("http://www.example.com/subsub");

o.insert(SubClassOf::new((&sup).into(), (&sub).into()));
o.insert(SubClassOf::new((&sub).into(), (&subsub).into()));

let subs:Vec<&ClassExpression> = o.direct_subclass(&sup).collect();

assert_eq!(vec![&ClassExpression::Class(sub)],subs);

pub fn is_subclass<C>(&self, super_class: C, sub_class: C) -> boolwhere
    C: Into<ClassExpression>,

Returns true is subclass is a subclass of superclass

Examples

let mut o = Ontology::new();
let b = Build::new();

let sup = b.class("http://www.example.com/super");
let sub = b.class("http://www.example.com/sub");
let subsub = b.class("http://www.example.com/subsub");

o.insert(SubClassOf::new((&sup).into(), (&sub).into()));
o.insert(SubClassOf::new((&sub).into(), (&subsub).into()));

assert!(o.is_subclass(&sup, &sub));
assert!(!o.is_subclass(&sub, &sup));
assert!(!o.is_subclass(&sup, &subsub));

Trait Implementations

impl Debug for Ontology

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Ontology

fn default() -> Ontology

Returns the “default value” for a type.

impl PartialEq<Ontology> for Ontology

fn eq(&self, other: &Ontology) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Ontology

impl StructuralEq for Ontology

impl StructuralPartialEq for Ontology