pyhornedowl.model

Classes

`AnnotatedComponent`	AnnotatedComponent(component: Component, ann: BTreeSetWrap<Annotation>, )
`Annotation`	Annotation(ap: AnnotationProperty, av: AnnotationValue, )
`AnnotationAssertion`	AnnotationAssertion(subject: AnnotationSubject, ann: Annotation, )
`AnnotationProperty`	AnnotationProperty(first: IRI)
`AnnotationPropertyDomain`	AnnotationPropertyDomain(ap: AnnotationProperty, iri: IRI, )
`AnnotationPropertyRange`	AnnotationPropertyRange(ap: AnnotationProperty, iri: IRI, )
`AnonymousIndividual`	AnonymousIndividual(first: StringWrapper)
`AsymmetricObjectProperty`	AsymmetricObjectProperty(first: ObjectPropertyExpression)
`BuiltInAtom`	BuiltInAtom(pred: IRI, args: VecWrap<DArgument>, )
`Class`	Class(first: IRI)
`ClassAssertion`	ClassAssertion(ce: ClassExpression, i: Individual, )
`ClassAtom`	ClassAtom(pred: ClassExpression, arg: IArgument, )
`DataAllValuesFrom`	DataAllValuesFrom(dp: DataProperty, dr: DataRange, )
`DataComplementOf`	DataComplementOf(first: BoxWrap<DataRange>)
`DataExactCardinality`	DataExactCardinality(n: u32, dp: DataProperty, dr: DataRange, )
`DataHasValue`	DataHasValue(dp: DataProperty, l: Literal, )
`DataIntersectionOf`	DataIntersectionOf(first: VecWrap<DataRange>)
`DataMaxCardinality`	DataMaxCardinality(n: u32, dp: DataProperty, dr: DataRange, )
`DataMinCardinality`	DataMinCardinality(n: u32, dp: DataProperty, dr: DataRange, )
`DataOneOf`	DataOneOf(first: VecWrap<Literal>)
`DataProperty`	DataProperty(first: IRI)
`DataPropertyAssertion`	DataPropertyAssertion(dp: DataProperty, from: Individual, to: Literal, )
`DataPropertyAtom`	DataPropertyAtom(pred: DataProperty, args: (DArgument, DArgument), )
`DataPropertyDomain`	DataPropertyDomain(dp: DataProperty, ce: ClassExpression, )
`DataPropertyRange`	DataPropertyRange(dp: DataProperty, dr: DataRange, )
`DataRangeAtom`	DataRangeAtom(pred: DataRange, arg: DArgument, )
`DataSomeValuesFrom`	DataSomeValuesFrom(dp: DataProperty, dr: DataRange, )
`DataUnionOf`	DataUnionOf(first: VecWrap<DataRange>)
`Datatype`	Datatype(first: IRI)
`DatatypeDefinition`	DatatypeDefinition(kind: Datatype, range: DataRange, )
`DatatypeLiteral`	DatatypeLiteral(literal: String, datatype_iri: IRI, )
`DatatypeRestriction`	DatatypeRestriction(first: Datatype, second: VecWrap<FacetRestriction>)
`DeclareAnnotationProperty`	DeclareAnnotationProperty(first: AnnotationProperty)
`DeclareClass`	DeclareClass(first: Class)
`DeclareDataProperty`	DeclareDataProperty(first: DataProperty)
`DeclareDatatype`	DeclareDatatype(first: Datatype)
`DeclareNamedIndividual`	DeclareNamedIndividual(first: NamedIndividual)
`DeclareObjectProperty`	DeclareObjectProperty(first: ObjectProperty)
`DifferentIndividuals`	DifferentIndividuals(first: VecWrap<Individual>)
`DifferentIndividualsAtom`	DifferentIndividualsAtom(first: IArgument, second: IArgument)
`DisjointClasses`	DisjointClasses(first: VecWrap<ClassExpression>)
`DisjointDataProperties`	DisjointDataProperties(first: VecWrap<DataProperty>)
`DisjointObjectProperties`	DisjointObjectProperties(first: VecWrap<ObjectPropertyExpression>)
`DisjointUnion`	DisjointUnion(first: Classsecond: VecWrap<ClassExpression>)
`DocIRI`	DocIRI(first: IRI)
`EquivalentClasses`	EquivalentClasses(first: VecWrap<ClassExpression>)
`EquivalentDataProperties`	EquivalentDataProperties(first: VecWrap<DataProperty>)
`EquivalentObjectProperties`	EquivalentObjectProperties(first: VecWrap<ObjectPropertyExpression>)
`Facet`
`FacetRestriction`	FacetRestriction(f: Facet, l: Literal, )
`FunctionalDataProperty`	FunctionalDataProperty(first: DataProperty)
`FunctionalObjectProperty`	FunctionalObjectProperty(first: ObjectPropertyExpression)
`HasKey`	HasKey(ce: ClassExpression, vpe: VecWrap<PropertyExpression>, )
`IRI`
`Import`	Import(first: IRI)
`InverseFunctionalObjectProperty`	InverseFunctionalObjectProperty(first: ObjectPropertyExpression)
`InverseObjectProperties`	InverseObjectProperties(first: ObjectPropertysecond: ObjectProperty)
`InverseObjectProperty`	InverseObjectProperty(first: ObjectProperty)
`IrreflexiveObjectProperty`	IrreflexiveObjectProperty(first: ObjectPropertyExpression)
`LanguageLiteral`	LanguageLiteral(literal: String, lang: String, )
`NamedIndividual`	NamedIndividual(first: IRI)
`NegativeDataPropertyAssertion`	NegativeDataPropertyAssertion(dp: DataProperty, from: Individual, to: Literal, )
`NegativeObjectPropertyAssertion`	NegativeObjectPropertyAssertion(ope: ObjectPropertyExpression, from: Individual, to: Individual, )
`ObjectAllValuesFrom`	ObjectAllValuesFrom(ope: ObjectPropertyExpression, bce: BoxWrap<ClassExpression>, )
`ObjectComplementOf`	ObjectComplementOf(first: BoxWrap<ClassExpression>)
`ObjectExactCardinality`	ObjectExactCardinality(n: u32, ope: ObjectPropertyExpression, bce: BoxWrap<ClassExpression>, )
`ObjectHasSelf`	ObjectHasSelf(first: ObjectPropertyExpression)
`ObjectHasValue`	ObjectHasValue(ope: ObjectPropertyExpression, i: Individual, )
`ObjectIntersectionOf`	ObjectIntersectionOf(first: VecWrap<ClassExpression>)
`ObjectMaxCardinality`	ObjectMaxCardinality(n: u32, ope: ObjectPropertyExpression, bce: BoxWrap<ClassExpression>, )
`ObjectMinCardinality`	ObjectMinCardinality(n: u32, ope: ObjectPropertyExpression, bce: BoxWrap<ClassExpression>, )
`ObjectOneOf`	ObjectOneOf(first: VecWrap<Individual>)
`ObjectProperty`	ObjectProperty(first: IRI)
`ObjectPropertyAssertion`	ObjectPropertyAssertion(ope: ObjectPropertyExpression, from: Individual, to: Individual, )
`ObjectPropertyAtom`	ObjectPropertyAtom(pred: ObjectPropertyExpression, args: (IArgument, IArgument), )
`ObjectPropertyDomain`	ObjectPropertyDomain(ope: ObjectPropertyExpression, ce: ClassExpression, )
`ObjectPropertyRange`	ObjectPropertyRange(ope: ObjectPropertyExpression, ce: ClassExpression, )
`ObjectSomeValuesFrom`	ObjectSomeValuesFrom(ope: ObjectPropertyExpression, bce: BoxWrap<ClassExpression>, )
`ObjectUnionOf`	ObjectUnionOf(first: VecWrap<ClassExpression>)
`OntologyAnnotation`	OntologyAnnotation(first: Annotation)
`OntologyID`	OntologyID(iri: Option<IRI>, viri: Option<IRI>, )
`ReflexiveObjectProperty`	ReflexiveObjectProperty(first: ObjectPropertyExpression)
`Rule`	Rule(head: VecWrap<Atom>, body: VecWrap<Atom>, )
`SameIndividual`	SameIndividual(first: VecWrap<Individual>)
`SameIndividualAtom`	SameIndividualAtom(first: IArgument, second: IArgument)
`SimpleLiteral`	SimpleLiteral(literal: String, )
`SubAnnotationPropertyOf`	SubAnnotationPropertyOf(sup: AnnotationProperty, sub: AnnotationProperty, )
`SubClassOf`	SubClassOf(sub: ClassExpression, sup: ClassExpression, )
`SubDataPropertyOf`	SubDataPropertyOf(sup: DataProperty, sub: DataProperty, )
`SubObjectPropertyOf`	SubObjectPropertyOf(sup: ObjectPropertyExpression, sub: SubObjectPropertyExpression, )
`SymmetricObjectProperty`	SymmetricObjectProperty(first: ObjectPropertyExpression)
`TransitiveObjectProperty`	TransitiveObjectProperty(first: ObjectPropertyExpression)
`Variable`	Variable(first: IRI)