pyhornedowl.model

Classes

`AnnotatedComponent`	AnnotatedComponent(component: Component,ann: typing.Set[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: str,)
`AsymmetricObjectProperty`	AsymmetricObjectProperty(first: ObjectPropertyExpression,)
`BuiltInAtom`	BuiltInAtom(pred: IRIargs: typing.List[DArgument]
`Class`	Class(first: IRI,)
`ClassAssertion`	ClassAssertion(ce: ClassExpression,i: Individual,)
`ClassAtom`	ClassAtom(pred: ClassExpressionarg: IArgument
`DataAllValuesFrom`	DataAllValuesFrom(dp: DataPropertydr: DataRange
`DataComplementOf`	DataComplementOf(first: DataRange
`DataExactCardinality`	DataExactCardinality(n: intdp: DataPropertydr: DataRange
`DataHasValue`	DataHasValue(dp: DataPropertyl: Literal
`DataIntersectionOf`	DataIntersectionOf(first: typing.List[DataRange]
`DataMaxCardinality`	DataMaxCardinality(n: intdp: DataPropertydr: DataRange
`DataMinCardinality`	DataMinCardinality(n: intdp: DataPropertydr: DataRange
`DataOneOf`	DataOneOf(first: typing.List[Literal]
`DataProperty`	DataProperty(first: IRI,)
`DataPropertyAssertion`	DataPropertyAssertion(dp: DataProperty,source: Individual,target: Literal,)
`DataPropertyAtom`	DataPropertyAtom(pred: DataPropertyargs: typing.Tuple[DArgument,DArgument]
`DataPropertyDomain`	DataPropertyDomain(dp: DataProperty,ce: ClassExpression,)
`DataPropertyRange`	DataPropertyRange(dp: DataProperty,dr: DataRange,)
`DataRangeAtom`	DataRangeAtom(pred: DataRangearg: DArgument
`DataSomeValuesFrom`	DataSomeValuesFrom(dp: DataPropertydr: DataRange
`DataUnionOf`	DataUnionOf(first: typing.List[DataRange]
`Datatype`	Datatype(first: IRI,)
`DatatypeDefinition`	DatatypeDefinition(kind: Datatype,range: DataRange,)
`DatatypeLiteral`	DatatypeLiteral(literal: strdatatype_iri: IRI
`DatatypeRestriction`	DatatypeRestriction(first: Datatypesecond: typing.List[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: typing.List[Individual],)
`DifferentIndividualsAtom`	DifferentIndividualsAtom(first: IArgumentsecond: IArgument
`DisjointClasses`	DisjointClasses(first: typing.List[ClassExpression],)
`DisjointDataProperties`	DisjointDataProperties(first: typing.List[DataProperty],)
`DisjointObjectProperties`	DisjointObjectProperties(first: typing.List[ObjectPropertyExpression],)
`DisjointUnion`	DisjointUnion(first: Class,second: typing.List[ClassExpression],)
`DocIRI`	DocIRI(first: IRI,)
`EquivalentClasses`	EquivalentClasses(first: typing.List[ClassExpression],)
`EquivalentDataProperties`	EquivalentDataProperties(first: typing.List[DataProperty],)
`EquivalentObjectProperties`	EquivalentObjectProperties(first: typing.List[ObjectPropertyExpression],)
`Facet`
`FacetRestriction`	FacetRestriction(f: Facet,l: Literal,)
`FunctionalDataProperty`	FunctionalDataProperty(first: DataProperty,)
`FunctionalObjectProperty`	FunctionalObjectProperty(first: ObjectPropertyExpression,)
`HasKey`	HasKey(ce: ClassExpression,vpe: typing.List[PropertyExpression],)
`IRI`
`Import`	Import(first: IRI,)
`InverseFunctionalObjectProperty`	InverseFunctionalObjectProperty(first: ObjectPropertyExpression,)
`InverseObjectProperties`	InverseObjectProperties(first: ObjectProperty,second: ObjectProperty,)
`InverseObjectProperty`	InverseObjectProperty(first: ObjectProperty
`IrreflexiveObjectProperty`	IrreflexiveObjectProperty(first: ObjectPropertyExpression,)
`LanguageLiteral`	LanguageLiteral(literal: strlang: str
`NamedIndividual`	NamedIndividual(first: IRI,)
`NegativeDataPropertyAssertion`	NegativeDataPropertyAssertion(dp: DataProperty,source: Individual,target: Literal,)
`NegativeObjectPropertyAssertion`	NegativeObjectPropertyAssertion(ope: ObjectPropertyExpression,source: Individual,target: Individual,)
`ObjectAllValuesFrom`	ObjectAllValuesFrom(ope: ObjectPropertyExpressionbce: ClassExpression
`ObjectComplementOf`	ObjectComplementOf(first: ClassExpression
`ObjectExactCardinality`	ObjectExactCardinality(n: intope: ObjectPropertyExpressionbce: ClassExpression
`ObjectHasSelf`	ObjectHasSelf(first: ObjectPropertyExpression
`ObjectHasValue`	ObjectHasValue(ope: ObjectPropertyExpressioni: Individual
`ObjectIntersectionOf`	ObjectIntersectionOf(first: typing.List[ClassExpression]
`ObjectMaxCardinality`	ObjectMaxCardinality(n: intope: ObjectPropertyExpressionbce: ClassExpression
`ObjectMinCardinality`	ObjectMinCardinality(n: intope: ObjectPropertyExpressionbce: ClassExpression
`ObjectOneOf`	ObjectOneOf(first: typing.List[Individual]
`ObjectProperty`	ObjectProperty(first: IRI,)
`ObjectPropertyAssertion`	ObjectPropertyAssertion(ope: ObjectPropertyExpression,source: Individual,target: Individual,)
`ObjectPropertyAtom`	ObjectPropertyAtom(pred: ObjectPropertyExpressionargs: typing.Tuple[IArgument,IArgument]
`ObjectPropertyDomain`	ObjectPropertyDomain(ope: ObjectPropertyExpression,ce: ClassExpression,)
`ObjectPropertyRange`	ObjectPropertyRange(ope: ObjectPropertyExpression,ce: ClassExpression,)
`ObjectSomeValuesFrom`	ObjectSomeValuesFrom(ope: ObjectPropertyExpressionbce: ClassExpression
`ObjectUnionOf`	ObjectUnionOf(first: typing.List[ClassExpression]
`OntologyAnnotation`	OntologyAnnotation(first: Annotation,)
`OntologyID`	OntologyID(iri: typing.Optional[IRI],viri: typing.Optional[IRI],)
`ReflexiveObjectProperty`	ReflexiveObjectProperty(first: ObjectPropertyExpression,)
`Rule`	Rule(head: typing.List[Atom],body: typing.List[Atom],)
`SameIndividual`	SameIndividual(first: typing.List[Individual],)
`SameIndividualAtom`	SameIndividualAtom(first: IArgumentsecond: IArgument
`SimpleLiteral`	SimpleLiteral(literal: str
`SubAnnotationPropertyOf`	SubAnnotationPropertyOf(sub: AnnotationProperty,sup: AnnotationProperty,)
`SubClassOf`	SubClassOf(sub: ClassExpression,sup: ClassExpression,)
`SubDataPropertyOf`	SubDataPropertyOf(sub: DataProperty,sup: DataProperty,)
`SubObjectPropertyOf`	SubObjectPropertyOf(sub: SubObjectPropertyExpression,sup: ObjectPropertyExpression,)
`SymmetricObjectProperty`	SymmetricObjectProperty(first: ObjectPropertyExpression,)
`TransitiveObjectProperty`	TransitiveObjectProperty(first: ObjectPropertyExpression,)
`Variable`	Variable(first: IRI,)