Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Ext.Owl.Syntax

Description

An OWL 2 syntax model. See https://www.w3.org/TR/owl2-syntax

Synopsis

data Ontology = Ontology {
- ontologyDirectImports :: [Ontology]
- ontologyAnnotations :: [Annotation]
- ontologyAxioms :: [Axiom]
}
_Ontology :: Name
_Ontology_directImports :: FieldName
_Ontology_annotations :: FieldName
_Ontology_axioms :: FieldName
data Declaration = Declaration {
- declarationAnnotations :: [Annotation]
- declarationEntity :: Entity
}
_Declaration :: Name
_Declaration_annotations :: FieldName
_Declaration_entity :: FieldName
data Entity
- = EntityAnnotationProperty AnnotationProperty
- | EntityClass Class
- | EntityDataProperty DataProperty
- | EntityDatatype Datatype
- | EntityNamedIndividual NamedIndividual
- | EntityObjectProperty ObjectProperty
_Entity :: Name
_Entity_annotationProperty :: FieldName
_Entity_class :: FieldName
_Entity_dataProperty :: FieldName
_Entity_datatype :: FieldName
_Entity_namedIndividual :: FieldName
_Entity_objectProperty :: FieldName
data AnnotationSubject
- = AnnotationSubjectIri Iri
- | AnnotationSubjectAnonymousIndividual AnonymousIndividual
_AnnotationSubject :: Name
_AnnotationSubject_iri :: FieldName
_AnnotationSubject_anonymousIndividual :: FieldName
data AnnotationValue
- = AnnotationValueAnonymousIndividual AnonymousIndividual
- | AnnotationValueIri Iri
- | AnnotationValueLiteral Literal
_AnnotationValue :: Name
_AnnotationValue_anonymousIndividual :: FieldName
_AnnotationValue_iri :: FieldName
_AnnotationValue_literal :: FieldName
data Annotation = Annotation {
- annotationAnnotations :: [Annotation]
- annotationProperty :: AnnotationProperty
- annotationValue :: AnnotationValue
}
_Annotation :: Name
_Annotation_annotations :: FieldName
_Annotation_property :: FieldName
_Annotation_value :: FieldName
data AnnotationAxiom
- = AnnotationAxiomAnnotationAssertion AnnotationAssertion
- | AnnotationAxiomAnnotationPropertyDomain AnnotationPropertyDomain
- | AnnotationAxiomAnnotationPropertyRange AnnotationPropertyRange
- | AnnotationAxiomSubAnnotationPropertyOf SubAnnotationPropertyOf
_AnnotationAxiom :: Name
_AnnotationAxiom_annotationAssertion :: FieldName
_AnnotationAxiom_annotationPropertyDomain :: FieldName
_AnnotationAxiom_annotationPropertyRange :: FieldName
_AnnotationAxiom_subAnnotationPropertyOf :: FieldName
data AnnotationAssertion = AnnotationAssertion {
- annotationAssertionAnnotations :: [Annotation]
- annotationAssertionProperty :: AnnotationProperty
- annotationAssertionSubject :: AnnotationSubject
- annotationAssertionValue :: AnnotationValue
}
_AnnotationAssertion :: Name
_AnnotationAssertion_annotations :: FieldName
_AnnotationAssertion_property :: FieldName
_AnnotationAssertion_subject :: FieldName
_AnnotationAssertion_value :: FieldName
data SubAnnotationPropertyOf = SubAnnotationPropertyOf {
- subAnnotationPropertyOfAnnotations :: [Annotation]
- subAnnotationPropertyOfSubProperty :: AnnotationProperty
- subAnnotationPropertyOfSuperProperty :: AnnotationProperty
}
_SubAnnotationPropertyOf :: Name
_SubAnnotationPropertyOf_annotations :: FieldName
_SubAnnotationPropertyOf_subProperty :: FieldName
_SubAnnotationPropertyOf_superProperty :: FieldName
data AnnotationPropertyDomain = AnnotationPropertyDomain {
- annotationPropertyDomainAnnotations :: [Annotation]
- annotationPropertyDomainProperty :: AnnotationProperty
- annotationPropertyDomainIri :: Iri
}
_AnnotationPropertyDomain :: Name
_AnnotationPropertyDomain_annotations :: FieldName
_AnnotationPropertyDomain_property :: FieldName
_AnnotationPropertyDomain_iri :: FieldName
data AnnotationPropertyRange = AnnotationPropertyRange {
- annotationPropertyRangeAnnotations :: [Annotation]
- annotationPropertyRangeProperty :: AnnotationProperty
- annotationPropertyRangeIri :: Iri
}
_AnnotationPropertyRange :: Name
_AnnotationPropertyRange_annotations :: FieldName
_AnnotationPropertyRange_property :: FieldName
_AnnotationPropertyRange_iri :: FieldName
data Class = Class {
}
_Class :: Name
data Datatype
- = DatatypeXmlSchema Datatype
- | DatatypeOther Iri
_Datatype :: Name
_Datatype_xmlSchema :: FieldName
_Datatype_other :: FieldName
data ObjectProperty = ObjectProperty {
}
_ObjectProperty :: Name
data DataProperty = DataProperty {
}
_DataProperty :: Name
data AnnotationProperty = AnnotationProperty {
}
_AnnotationProperty :: Name
data Individual
- = IndividualNamed NamedIndividual
- | IndividualAnonymous AnonymousIndividual
_Individual :: Name
_Individual_named :: FieldName
_Individual_anonymous :: FieldName
data NamedIndividual = NamedIndividual {
}
_NamedIndividual :: Name
data AnonymousIndividual = AnonymousIndividual {
}
_AnonymousIndividual :: Name
data ObjectPropertyExpression
- = ObjectPropertyExpressionObject ObjectProperty
- | ObjectPropertyExpressionInverseObject InverseObjectProperty
_ObjectPropertyExpression :: Name
_ObjectPropertyExpression_object :: FieldName
_ObjectPropertyExpression_inverseObject :: FieldName
newtype InverseObjectProperty = InverseObjectProperty {
- unInverseObjectProperty :: ObjectProperty
}
_InverseObjectProperty :: Name
newtype DataPropertyExpression = DataPropertyExpression {
- unDataPropertyExpression :: DataProperty
}
_DataPropertyExpression :: Name
data DataRange
- = DataRangeDataComplementOf DataComplementOf
- | DataRangeDataIntersectionOf DataIntersectionOf
- | DataRangeDataOneOf DataOneOf
- | DataRangeDataUnionOf DataUnionOf
- | DataRangeDatatype Datatype
- | DataRangeDatatypeRestriction DatatypeRestriction
_DataRange :: Name
_DataRange_dataComplementOf :: FieldName
_DataRange_dataIntersectionOf :: FieldName
_DataRange_dataOneOf :: FieldName
_DataRange_dataUnionOf :: FieldName
_DataRange_datatype :: FieldName
_DataRange_datatypeRestriction :: FieldName
newtype DataIntersectionOf = DataIntersectionOf {
- unDataIntersectionOf :: [DataRange]
}
_DataIntersectionOf :: Name
newtype DataUnionOf = DataUnionOf {
- unDataUnionOf :: [DataRange]
}
_DataUnionOf :: Name
newtype DataComplementOf = DataComplementOf {
- unDataComplementOf :: DataRange
}
_DataComplementOf :: Name
newtype DataOneOf = DataOneOf {
- unDataOneOf :: [Literal]
}
_DataOneOf :: Name
data DatatypeRestriction = DatatypeRestriction {
- datatypeRestrictionDatatype :: Datatype
- datatypeRestrictionConstraints :: [DatatypeRestriction_Constraint]
}
_DatatypeRestriction :: Name
_DatatypeRestriction_datatype :: FieldName
_DatatypeRestriction_constraints :: FieldName
data DatatypeRestriction_Constraint = DatatypeRestriction_Constraint {
- datatypeRestriction_ConstraintConstrainingFacet :: DatatypeRestriction_ConstrainingFacet
- datatypeRestriction_ConstraintRestrictionValue :: Literal
}
_DatatypeRestriction_Constraint :: Name
_DatatypeRestriction_Constraint_constrainingFacet :: FieldName
_DatatypeRestriction_Constraint_restrictionValue :: FieldName
data DatatypeRestriction_ConstrainingFacet
- = DatatypeRestriction_ConstrainingFacetXmlSchema ConstrainingFacet
- | DatatypeRestriction_ConstrainingFacetOther Iri
_DatatypeRestriction_ConstrainingFacet :: Name
_DatatypeRestriction_ConstrainingFacet_xmlSchema :: FieldName
_DatatypeRestriction_ConstrainingFacet_other :: FieldName
data ClassExpression
- = ClassExpressionClass Class
- | ClassExpressionDataSomeValuesFrom DataSomeValuesFrom
- | ClassExpressionDataAllValuesFrom DataAllValuesFrom
- | ClassExpressionDataHasValue DataHasValue
- | ClassExpressionDataMinCardinality DataMinCardinality
- | ClassExpressionDataMaxCardinality DataMaxCardinality
- | ClassExpressionDataExactCardinality DataExactCardinality
- | ClassExpressionObjectAllValuesFrom ObjectAllValuesFrom
- | ClassExpressionObjectExactCardinality ObjectExactCardinality
- | ClassExpressionObjectHasSelf ObjectHasSelf
- | ClassExpressionObjectHasValue ObjectHasValue
- | ClassExpressionObjectIntersectionOf ObjectIntersectionOf
- | ClassExpressionObjectMaxCardinality ObjectMaxCardinality
- | ClassExpressionObjectMinCardinality ObjectMinCardinality
- | ClassExpressionObjectOneOf ObjectOneOf
- | ClassExpressionObjectSomeValuesFrom ObjectSomeValuesFrom
- | ClassExpressionObjectUnionOf ObjectUnionOf
_ClassExpression :: Name
_ClassExpression_class :: FieldName
_ClassExpression_dataSomeValuesFrom :: FieldName
_ClassExpression_dataAllValuesFrom :: FieldName
_ClassExpression_dataHasValue :: FieldName
_ClassExpression_dataMinCardinality :: FieldName
_ClassExpression_dataMaxCardinality :: FieldName
_ClassExpression_dataExactCardinality :: FieldName
_ClassExpression_objectAllValuesFrom :: FieldName
_ClassExpression_objectExactCardinality :: FieldName
_ClassExpression_objectHasSelf :: FieldName
_ClassExpression_objectHasValue :: FieldName
_ClassExpression_objectIntersectionOf :: FieldName
_ClassExpression_objectMaxCardinality :: FieldName
_ClassExpression_objectMinCardinality :: FieldName
_ClassExpression_objectOneOf :: FieldName
_ClassExpression_objectSomeValuesFrom :: FieldName
_ClassExpression_objectUnionOf :: FieldName
newtype ObjectIntersectionOf = ObjectIntersectionOf {
- unObjectIntersectionOf :: [ClassExpression]
}
_ObjectIntersectionOf :: Name
newtype ObjectUnionOf = ObjectUnionOf {
- unObjectUnionOf :: [ClassExpression]
}
_ObjectUnionOf :: Name
newtype ObjectComplementOf = ObjectComplementOf {
- unObjectComplementOf :: ClassExpression
}
_ObjectComplementOf :: Name
newtype ObjectOneOf = ObjectOneOf {
- unObjectOneOf :: [Individual]
}
_ObjectOneOf :: Name
data ObjectSomeValuesFrom = ObjectSomeValuesFrom {
- objectSomeValuesFromProperty :: ObjectPropertyExpression
- objectSomeValuesFromClass :: ClassExpression
}
_ObjectSomeValuesFrom :: Name
_ObjectSomeValuesFrom_property :: FieldName
_ObjectSomeValuesFrom_class :: FieldName
data ObjectAllValuesFrom = ObjectAllValuesFrom {
- objectAllValuesFromProperty :: ObjectPropertyExpression
- objectAllValuesFromClass :: ClassExpression
}
_ObjectAllValuesFrom :: Name
_ObjectAllValuesFrom_property :: FieldName
_ObjectAllValuesFrom_class :: FieldName
data ObjectHasValue = ObjectHasValue {
- objectHasValueProperty :: ObjectPropertyExpression
- objectHasValueIndividual :: Individual
}
_ObjectHasValue :: Name
_ObjectHasValue_property :: FieldName
_ObjectHasValue_individual :: FieldName
newtype ObjectHasSelf = ObjectHasSelf {
- unObjectHasSelf :: ObjectPropertyExpression
}
_ObjectHasSelf :: Name
data ObjectMinCardinality = ObjectMinCardinality {
- objectMinCardinalityBound :: Integer
- objectMinCardinalityProperty :: ObjectPropertyExpression
- objectMinCardinalityClass :: [ClassExpression]
}
_ObjectMinCardinality :: Name
_ObjectMinCardinality_bound :: FieldName
_ObjectMinCardinality_property :: FieldName
_ObjectMinCardinality_class :: FieldName
data ObjectMaxCardinality = ObjectMaxCardinality {
- objectMaxCardinalityBound :: Integer
- objectMaxCardinalityProperty :: ObjectPropertyExpression
- objectMaxCardinalityClass :: [ClassExpression]
}
_ObjectMaxCardinality :: Name
_ObjectMaxCardinality_bound :: FieldName
_ObjectMaxCardinality_property :: FieldName
_ObjectMaxCardinality_class :: FieldName
data ObjectExactCardinality = ObjectExactCardinality {
- objectExactCardinalityBound :: Integer
- objectExactCardinalityProperty :: ObjectPropertyExpression
- objectExactCardinalityClass :: [ClassExpression]
}
_ObjectExactCardinality :: Name
_ObjectExactCardinality_bound :: FieldName
_ObjectExactCardinality_property :: FieldName
_ObjectExactCardinality_class :: FieldName
data DataSomeValuesFrom = DataSomeValuesFrom {
- dataSomeValuesFromProperty :: [DataPropertyExpression]
- dataSomeValuesFromRange :: DataRange
}
_DataSomeValuesFrom :: Name
_DataSomeValuesFrom_property :: FieldName
_DataSomeValuesFrom_range :: FieldName
data DataAllValuesFrom = DataAllValuesFrom {
- dataAllValuesFromProperty :: [DataPropertyExpression]
- dataAllValuesFromRange :: DataRange
}
_DataAllValuesFrom :: Name
_DataAllValuesFrom_property :: FieldName
_DataAllValuesFrom_range :: FieldName
data DataHasValue = DataHasValue {
- dataHasValueProperty :: DataPropertyExpression
- dataHasValueValue :: Literal
}
_DataHasValue :: Name
_DataHasValue_property :: FieldName
_DataHasValue_value :: FieldName
data DataMinCardinality = DataMinCardinality {
- dataMinCardinalityBound :: Integer
- dataMinCardinalityProperty :: DataPropertyExpression
- dataMinCardinalityRange :: [DataRange]
}
_DataMinCardinality :: Name
_DataMinCardinality_bound :: FieldName
_DataMinCardinality_property :: FieldName
_DataMinCardinality_range :: FieldName
data DataMaxCardinality = DataMaxCardinality {
- dataMaxCardinalityBound :: Integer
- dataMaxCardinalityProperty :: DataPropertyExpression
- dataMaxCardinalityRange :: [DataRange]
}
_DataMaxCardinality :: Name
_DataMaxCardinality_bound :: FieldName
_DataMaxCardinality_property :: FieldName
_DataMaxCardinality_range :: FieldName
data DataExactCardinality = DataExactCardinality {
- dataExactCardinalityBound :: Integer
- dataExactCardinalityProperty :: DataPropertyExpression
- dataExactCardinalityRange :: [DataRange]
}
_DataExactCardinality :: Name
_DataExactCardinality_bound :: FieldName
_DataExactCardinality_property :: FieldName
_DataExactCardinality_range :: FieldName
data Axiom
- = AxiomAnnotationAxiom AnnotationAxiom
- | AxiomAssertion Assertion
- | AxiomClassAxiom ClassAxiom
- | AxiomDataPropertyAxiom DataPropertyAxiom
- | AxiomDatatypeDefinition DatatypeDefinition
- | AxiomDeclaration Declaration
- | AxiomHasKey HasKey
- | AxiomObjectPropertyAxiom ObjectPropertyAxiom
_Axiom :: Name
_Axiom_annotationAxiom :: FieldName
_Axiom_assertion :: FieldName
_Axiom_classAxiom :: FieldName
_Axiom_dataPropertyAxiom :: FieldName
_Axiom_datatypeDefinition :: FieldName
_Axiom_declaration :: FieldName
_Axiom_hasKey :: FieldName
_Axiom_objectPropertyAxiom :: FieldName
data ClassAxiom
- = ClassAxiomDisjointClasses DisjointClasses
- | ClassAxiomDisjointUnion DisjointUnion
- | ClassAxiomEquivalentClasses EquivalentClasses
- | ClassAxiomSubClassOf SubClassOf
_ClassAxiom :: Name
_ClassAxiom_disjointClasses :: FieldName
_ClassAxiom_disjointUnion :: FieldName
_ClassAxiom_equivalentClasses :: FieldName
_ClassAxiom_subClassOf :: FieldName
data SubClassOf = SubClassOf {
- subClassOfAnnotations :: [Annotation]
- subClassOfSubClass :: ClassExpression
- subClassOfSuperClass :: ClassExpression
}
_SubClassOf :: Name
_SubClassOf_annotations :: FieldName
_SubClassOf_subClass :: FieldName
_SubClassOf_superClass :: FieldName
data EquivalentClasses = EquivalentClasses {
- equivalentClassesAnnotations :: [Annotation]
- equivalentClassesClasses :: [ClassExpression]
}
_EquivalentClasses :: Name
_EquivalentClasses_annotations :: FieldName
_EquivalentClasses_classes :: FieldName
data DisjointClasses = DisjointClasses {
- disjointClassesAnnotations :: [Annotation]
- disjointClassesClasses :: [ClassExpression]
}
_DisjointClasses :: Name
_DisjointClasses_annotations :: FieldName
_DisjointClasses_classes :: FieldName
data DisjointUnion = DisjointUnion {
- disjointUnionAnnotations :: [Annotation]
- disjointUnionClass :: Class
- disjointUnionClasses :: [ClassExpression]
}
_DisjointUnion :: Name
_DisjointUnion_annotations :: FieldName
_DisjointUnion_class :: FieldName
_DisjointUnion_classes :: FieldName
data ObjectPropertyAxiom
- = ObjectPropertyAxiomAsymmetricObjectProperty AsymmetricObjectProperty
- | ObjectPropertyAxiomDisjointObjectProperties DisjointObjectProperties
- | ObjectPropertyAxiomEquivalentObjectProperties EquivalentObjectProperties
- | ObjectPropertyAxiomFunctionalObjectProperty FunctionalObjectProperty
- | ObjectPropertyAxiomInverseFunctionalObjectProperty InverseFunctionalObjectProperty
- | ObjectPropertyAxiomInverseObjectProperties InverseObjectProperties
- | ObjectPropertyAxiomIrreflexiveObjectProperty IrreflexiveObjectProperty
- | ObjectPropertyAxiomObjectPropertyDomain ObjectPropertyDomain
- | ObjectPropertyAxiomObjectPropertyRange ObjectPropertyRange
- | ObjectPropertyAxiomReflexiveObjectProperty ReflexiveObjectProperty
- | ObjectPropertyAxiomSubObjectPropertyOf SubObjectPropertyOf
- | ObjectPropertyAxiomSymmetricObjectProperty SymmetricObjectProperty
- | ObjectPropertyAxiomTransitiveObjectProperty TransitiveObjectProperty
_ObjectPropertyAxiom :: Name
_ObjectPropertyAxiom_asymmetricObjectProperty :: FieldName
_ObjectPropertyAxiom_disjointObjectProperties :: FieldName
_ObjectPropertyAxiom_equivalentObjectProperties :: FieldName
_ObjectPropertyAxiom_functionalObjectProperty :: FieldName
_ObjectPropertyAxiom_inverseFunctionalObjectProperty :: FieldName
_ObjectPropertyAxiom_inverseObjectProperties :: FieldName
_ObjectPropertyAxiom_irreflexiveObjectProperty :: FieldName
_ObjectPropertyAxiom_objectPropertyDomain :: FieldName
_ObjectPropertyAxiom_objectPropertyRange :: FieldName
_ObjectPropertyAxiom_reflexiveObjectProperty :: FieldName
_ObjectPropertyAxiom_subObjectPropertyOf :: FieldName
_ObjectPropertyAxiom_symmetricObjectProperty :: FieldName
_ObjectPropertyAxiom_transitiveObjectProperty :: FieldName
data SubObjectPropertyOf = SubObjectPropertyOf {
- subObjectPropertyOfAnnotations :: [Annotation]
- subObjectPropertyOfSubProperty :: [ObjectPropertyExpression]
- subObjectPropertyOfSuperProperty :: ObjectPropertyExpression
}
_SubObjectPropertyOf :: Name
_SubObjectPropertyOf_annotations :: FieldName
_SubObjectPropertyOf_subProperty :: FieldName
_SubObjectPropertyOf_superProperty :: FieldName
data EquivalentObjectProperties = EquivalentObjectProperties {
- equivalentObjectPropertiesAnnotations :: [Annotation]
- equivalentObjectPropertiesProperties :: [ObjectPropertyExpression]
}
_EquivalentObjectProperties :: Name
_EquivalentObjectProperties_annotations :: FieldName
_EquivalentObjectProperties_properties :: FieldName
data DisjointObjectProperties = DisjointObjectProperties {
- disjointObjectPropertiesAnnotations :: [Annotation]
- disjointObjectPropertiesProperties :: [ObjectPropertyExpression]
}
_DisjointObjectProperties :: Name
_DisjointObjectProperties_annotations :: FieldName
_DisjointObjectProperties_properties :: FieldName
data ObjectPropertyDomain = ObjectPropertyDomain {
- objectPropertyDomainAnnotations :: [Annotation]
- objectPropertyDomainProperty :: ObjectPropertyExpression
- objectPropertyDomainDomain :: ClassExpression
}
_ObjectPropertyDomain :: Name
_ObjectPropertyDomain_annotations :: FieldName
_ObjectPropertyDomain_property :: FieldName
_ObjectPropertyDomain_domain :: FieldName
data ObjectPropertyRange = ObjectPropertyRange {
- objectPropertyRangeAnnotations :: [Annotation]
- objectPropertyRangeProperty :: ObjectPropertyExpression
- objectPropertyRangeRange :: ClassExpression
}
_ObjectPropertyRange :: Name
_ObjectPropertyRange_annotations :: FieldName
_ObjectPropertyRange_property :: FieldName
_ObjectPropertyRange_range :: FieldName
data InverseObjectProperties = InverseObjectProperties {
- inverseObjectPropertiesAnnotations :: [Annotation]
- inverseObjectPropertiesProperty1 :: ObjectPropertyExpression
- inverseObjectPropertiesProperty2 :: ObjectPropertyExpression
}
_InverseObjectProperties :: Name
_InverseObjectProperties_annotations :: FieldName
_InverseObjectProperties_property1 :: FieldName
_InverseObjectProperties_property2 :: FieldName
data FunctionalObjectProperty = FunctionalObjectProperty {
- functionalObjectPropertyAnnotations :: [Annotation]
- functionalObjectPropertyProperty :: ObjectPropertyExpression
}
_FunctionalObjectProperty :: Name
_FunctionalObjectProperty_annotations :: FieldName
_FunctionalObjectProperty_property :: FieldName
data InverseFunctionalObjectProperty = InverseFunctionalObjectProperty {
- inverseFunctionalObjectPropertyAnnotations :: [Annotation]
- inverseFunctionalObjectPropertyProperty :: ObjectPropertyExpression
}
_InverseFunctionalObjectProperty :: Name
_InverseFunctionalObjectProperty_annotations :: FieldName
_InverseFunctionalObjectProperty_property :: FieldName
data ReflexiveObjectProperty = ReflexiveObjectProperty {
- reflexiveObjectPropertyAnnotations :: [Annotation]
- reflexiveObjectPropertyProperty :: ObjectPropertyExpression
}
_ReflexiveObjectProperty :: Name
_ReflexiveObjectProperty_annotations :: FieldName
_ReflexiveObjectProperty_property :: FieldName
data IrreflexiveObjectProperty = IrreflexiveObjectProperty {
- irreflexiveObjectPropertyAnnotations :: [Annotation]
- irreflexiveObjectPropertyProperty :: ObjectPropertyExpression
}
_IrreflexiveObjectProperty :: Name
_IrreflexiveObjectProperty_annotations :: FieldName
_IrreflexiveObjectProperty_property :: FieldName
data SymmetricObjectProperty = SymmetricObjectProperty {
- symmetricObjectPropertyAnnotations :: [Annotation]
- symmetricObjectPropertyProperty :: ObjectPropertyExpression
}
_SymmetricObjectProperty :: Name
_SymmetricObjectProperty_annotations :: FieldName
_SymmetricObjectProperty_property :: FieldName
data AsymmetricObjectProperty = AsymmetricObjectProperty {
- asymmetricObjectPropertyAnnotations :: [Annotation]
- asymmetricObjectPropertyProperty :: ObjectPropertyExpression
}
_AsymmetricObjectProperty :: Name
_AsymmetricObjectProperty_annotations :: FieldName
_AsymmetricObjectProperty_property :: FieldName
data TransitiveObjectProperty = TransitiveObjectProperty {
- transitiveObjectPropertyAnnotations :: [Annotation]
- transitiveObjectPropertyProperty :: ObjectPropertyExpression
}
_TransitiveObjectProperty :: Name
_TransitiveObjectProperty_annotations :: FieldName
_TransitiveObjectProperty_property :: FieldName
data DataPropertyAxiom
- = DataPropertyAxiomDataPropertyAxiom DataPropertyAxiom
- | DataPropertyAxiomDataPropertyRange DataPropertyRange
- | DataPropertyAxiomDisjointDataProperties DisjointDataProperties
- | DataPropertyAxiomEquivalentDataProperties EquivalentDataProperties
- | DataPropertyAxiomFunctionalDataProperty FunctionalDataProperty
- | DataPropertyAxiomSubDataPropertyOf SubDataPropertyOf
_DataPropertyAxiom :: Name
_DataPropertyAxiom_dataPropertyAxiom :: FieldName
_DataPropertyAxiom_dataPropertyRange :: FieldName
_DataPropertyAxiom_disjointDataProperties :: FieldName
_DataPropertyAxiom_equivalentDataProperties :: FieldName
_DataPropertyAxiom_functionalDataProperty :: FieldName
_DataPropertyAxiom_subDataPropertyOf :: FieldName
data SubDataPropertyOf = SubDataPropertyOf {
- subDataPropertyOfAnnotations :: [Annotation]
- subDataPropertyOfSubProperty :: DataPropertyExpression
- subDataPropertyOfSuperProperty :: DataPropertyExpression
}
_SubDataPropertyOf :: Name
_SubDataPropertyOf_annotations :: FieldName
_SubDataPropertyOf_subProperty :: FieldName
_SubDataPropertyOf_superProperty :: FieldName
data EquivalentDataProperties = EquivalentDataProperties {
- equivalentDataPropertiesAnnotations :: [Annotation]
- equivalentDataPropertiesProperties :: [DataPropertyExpression]
}
_EquivalentDataProperties :: Name
_EquivalentDataProperties_annotations :: FieldName
_EquivalentDataProperties_properties :: FieldName
data DisjointDataProperties = DisjointDataProperties {
- disjointDataPropertiesAnnotations :: [Annotation]
- disjointDataPropertiesProperties :: [DataPropertyExpression]
}
_DisjointDataProperties :: Name
_DisjointDataProperties_annotations :: FieldName
_DisjointDataProperties_properties :: FieldName
data DataPropertyDomain = DataPropertyDomain {
- dataPropertyDomainAnnotations :: [Annotation]
- dataPropertyDomainProperty :: DataPropertyExpression
- dataPropertyDomainDomain :: ClassExpression
}
_DataPropertyDomain :: Name
_DataPropertyDomain_annotations :: FieldName
_DataPropertyDomain_property :: FieldName
_DataPropertyDomain_domain :: FieldName
data DataPropertyRange = DataPropertyRange {
- dataPropertyRangeAnnotations :: [Annotation]
- dataPropertyRangeProperty :: DataPropertyExpression
- dataPropertyRangeRange :: ClassExpression
}
_DataPropertyRange :: Name
_DataPropertyRange_annotations :: FieldName
_DataPropertyRange_property :: FieldName
_DataPropertyRange_range :: FieldName
data FunctionalDataProperty = FunctionalDataProperty {
- functionalDataPropertyAnnotations :: [Annotation]
- functionalDataPropertyProperty :: DataPropertyExpression
}
_FunctionalDataProperty :: Name
_FunctionalDataProperty_annotations :: FieldName
_FunctionalDataProperty_property :: FieldName
data DatatypeDefinition = DatatypeDefinition {
- datatypeDefinitionAnnotations :: [Annotation]
- datatypeDefinitionDatatype :: Datatype
- datatypeDefinitionRange :: DataRange
}
_DatatypeDefinition :: Name
_DatatypeDefinition_annotations :: FieldName
_DatatypeDefinition_datatype :: FieldName
_DatatypeDefinition_range :: FieldName
data HasKey = HasKey {
- hasKeyAnnotations :: [Annotation]
- hasKeyClass :: ClassExpression
- hasKeyObjectProperties :: [ObjectPropertyExpression]
- hasKeyDataProperties :: [DataPropertyExpression]
}
_HasKey :: Name
_HasKey_annotations :: FieldName
_HasKey_class :: FieldName
_HasKey_objectProperties :: FieldName
_HasKey_dataProperties :: FieldName
data Assertion
- = AssertionClassAssertion ClassAssertion
- | AssertionDataPropertyAssertion DataPropertyAssertion
- | AssertionDifferentIndividuals DifferentIndividuals
- | AssertionObjectPropertyAssertion ObjectPropertyAssertion
- | AssertionNegativeDataPropertyAssertion NegativeDataPropertyAssertion
- | AssertionNegativeObjectPropertyAssertion NegativeObjectPropertyAssertion
- | AssertionSameIndividual SameIndividual
_Assertion :: Name
_Assertion_classAssertion :: FieldName
_Assertion_dataPropertyAssertion :: FieldName
_Assertion_differentIndividuals :: FieldName
_Assertion_objectPropertyAssertion :: FieldName
_Assertion_negativeDataPropertyAssertion :: FieldName
_Assertion_negativeObjectPropertyAssertion :: FieldName
_Assertion_sameIndividual :: FieldName
data SameIndividual = SameIndividual {
- sameIndividualAnnotations :: [Annotation]
- sameIndividualIndividuals :: [Individual]
}
_SameIndividual :: Name
_SameIndividual_annotations :: FieldName
_SameIndividual_individuals :: FieldName
data DifferentIndividuals = DifferentIndividuals {
- differentIndividualsAnnotations :: [Annotation]
- differentIndividualsIndividuals :: [Individual]
}
_DifferentIndividuals :: Name
_DifferentIndividuals_annotations :: FieldName
_DifferentIndividuals_individuals :: FieldName
data ClassAssertion = ClassAssertion {
- classAssertionAnnotations :: [Annotation]
- classAssertionClass :: ClassExpression
- classAssertionIndividual :: Individual
}
_ClassAssertion :: Name
_ClassAssertion_annotations :: FieldName
_ClassAssertion_class :: FieldName
_ClassAssertion_individual :: FieldName
data ObjectPropertyAssertion = ObjectPropertyAssertion {
- objectPropertyAssertionAnnotations :: [Annotation]
- objectPropertyAssertionProperty :: ObjectPropertyExpression
- objectPropertyAssertionSource :: Individual
- objectPropertyAssertionTarget :: Individual
}
_ObjectPropertyAssertion :: Name
_ObjectPropertyAssertion_annotations :: FieldName
_ObjectPropertyAssertion_property :: FieldName
_ObjectPropertyAssertion_source :: FieldName
_ObjectPropertyAssertion_target :: FieldName
data NegativeObjectPropertyAssertion = NegativeObjectPropertyAssertion {
- negativeObjectPropertyAssertionAnnotations :: [Annotation]
- negativeObjectPropertyAssertionProperty :: ObjectPropertyExpression
- negativeObjectPropertyAssertionSource :: Individual
- negativeObjectPropertyAssertionTarget :: Individual
}
_NegativeObjectPropertyAssertion :: Name
_NegativeObjectPropertyAssertion_annotations :: FieldName
_NegativeObjectPropertyAssertion_property :: FieldName
_NegativeObjectPropertyAssertion_source :: FieldName
_NegativeObjectPropertyAssertion_target :: FieldName
data DataPropertyAssertion = DataPropertyAssertion {
- dataPropertyAssertionAnnotations :: [Annotation]
- dataPropertyAssertionProperty :: DataPropertyExpression
- dataPropertyAssertionSource :: Individual
- dataPropertyAssertionTarget :: Individual
}
_DataPropertyAssertion :: Name
_DataPropertyAssertion_annotations :: FieldName
_DataPropertyAssertion_property :: FieldName
_DataPropertyAssertion_source :: FieldName
_DataPropertyAssertion_target :: FieldName
data NegativeDataPropertyAssertion = NegativeDataPropertyAssertion {
- negativeDataPropertyAssertionAnnotations :: [Annotation]
- negativeDataPropertyAssertionProperty :: DataPropertyExpression
- negativeDataPropertyAssertionSource :: Individual
- negativeDataPropertyAssertionTarget :: Individual
}
_NegativeDataPropertyAssertion :: Name
_NegativeDataPropertyAssertion_annotations :: FieldName
_NegativeDataPropertyAssertion_property :: FieldName
_NegativeDataPropertyAssertion_source :: FieldName
_NegativeDataPropertyAssertion_target :: FieldName

Documentation

data Ontology Source #

Constructors

Ontology
Fields ontologyDirectImports :: [Ontology] ontologyAnnotations :: [Annotation] ontologyAxioms :: [Axiom]

Instances

Instances details

Read Ontology Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Ontology # readList :: ReadS [Ontology] # readPrec :: ReadPrec Ontology # readListPrec :: ReadPrec [Ontology] #
Show Ontology Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Ontology -> ShowS # show :: Ontology -> String # showList :: [Ontology] -> ShowS #
Eq Ontology Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Ontology -> Ontology -> Bool # (/=) :: Ontology -> Ontology -> Bool #
Ord Ontology Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Ontology -> Ontology -> Ordering # (<) :: Ontology -> Ontology -> Bool # (<=) :: Ontology -> Ontology -> Bool # (>) :: Ontology -> Ontology -> Bool # (>=) :: Ontology -> Ontology -> Bool # max :: Ontology -> Ontology -> Ontology # min :: Ontology -> Ontology -> Ontology #

_Ontology :: Name Source #

_Ontology_directImports :: FieldName Source #

_Ontology_annotations :: FieldName Source #

_Ontology_axioms :: FieldName Source #

data Declaration Source #

Constructors

Declaration
Fields declarationAnnotations :: [Annotation] declarationEntity :: Entity

Instances

Instances details

Read Declaration Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Declaration # readList :: ReadS [Declaration] # readPrec :: ReadPrec Declaration # readListPrec :: ReadPrec [Declaration] #
Show Declaration Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #
Eq Declaration Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Declaration -> Declaration -> Bool # (/=) :: Declaration -> Declaration -> Bool #
Ord Declaration Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Declaration -> Declaration -> Ordering # (<) :: Declaration -> Declaration -> Bool # (<=) :: Declaration -> Declaration -> Bool # (>) :: Declaration -> Declaration -> Bool # (>=) :: Declaration -> Declaration -> Bool # max :: Declaration -> Declaration -> Declaration # min :: Declaration -> Declaration -> Declaration #

_Declaration :: Name Source #

_Declaration_annotations :: FieldName Source #

_Declaration_entity :: FieldName Source #

data Entity Source #

Constructors

EntityAnnotationProperty AnnotationProperty
EntityClass Class
EntityDataProperty DataProperty
EntityDatatype Datatype
EntityNamedIndividual NamedIndividual
EntityObjectProperty ObjectProperty

Instances

Instances details

Read Entity Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Entity # readList :: ReadS [Entity] # readPrec :: ReadPrec Entity # readListPrec :: ReadPrec [Entity] #
Show Entity Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Entity -> ShowS # show :: Entity -> String # showList :: [Entity] -> ShowS #
Eq Entity Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Entity -> Entity -> Bool # (/=) :: Entity -> Entity -> Bool #
Ord Entity Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Entity -> Entity -> Ordering # (<) :: Entity -> Entity -> Bool # (<=) :: Entity -> Entity -> Bool # (>) :: Entity -> Entity -> Bool # (>=) :: Entity -> Entity -> Bool # max :: Entity -> Entity -> Entity # min :: Entity -> Entity -> Entity #

_Entity :: Name Source #

_Entity_annotationProperty :: FieldName Source #

_Entity_class :: FieldName Source #

_Entity_dataProperty :: FieldName Source #

_Entity_datatype :: FieldName Source #

_Entity_namedIndividual :: FieldName Source #

_Entity_objectProperty :: FieldName Source #

data AnnotationSubject Source #

Constructors

AnnotationSubjectIri Iri
AnnotationSubjectAnonymousIndividual AnonymousIndividual

Instances

Instances details

Read AnnotationSubject Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AnnotationSubject # readList :: ReadS [AnnotationSubject] # readPrec :: ReadPrec AnnotationSubject # readListPrec :: ReadPrec [AnnotationSubject] #
Show AnnotationSubject Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AnnotationSubject -> ShowS # show :: AnnotationSubject -> String # showList :: [AnnotationSubject] -> ShowS #
Eq AnnotationSubject Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AnnotationSubject -> AnnotationSubject -> Bool # (/=) :: AnnotationSubject -> AnnotationSubject -> Bool #
Ord AnnotationSubject Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AnnotationSubject -> AnnotationSubject -> Ordering # (<) :: AnnotationSubject -> AnnotationSubject -> Bool # (<=) :: AnnotationSubject -> AnnotationSubject -> Bool # (>) :: AnnotationSubject -> AnnotationSubject -> Bool # (>=) :: AnnotationSubject -> AnnotationSubject -> Bool # max :: AnnotationSubject -> AnnotationSubject -> AnnotationSubject # min :: AnnotationSubject -> AnnotationSubject -> AnnotationSubject #

_AnnotationSubject :: Name Source #

_AnnotationSubject_iri :: FieldName Source #

_AnnotationSubject_anonymousIndividual :: FieldName Source #

data AnnotationValue Source #

Constructors

AnnotationValueAnonymousIndividual AnonymousIndividual
AnnotationValueIri Iri
AnnotationValueLiteral Literal

Instances

Instances details

Read AnnotationValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AnnotationValue # readList :: ReadS [AnnotationValue] # readPrec :: ReadPrec AnnotationValue # readListPrec :: ReadPrec [AnnotationValue] #
Show AnnotationValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AnnotationValue -> ShowS # show :: AnnotationValue -> String # showList :: [AnnotationValue] -> ShowS #
Eq AnnotationValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AnnotationValue -> AnnotationValue -> Bool # (/=) :: AnnotationValue -> AnnotationValue -> Bool #
Ord AnnotationValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AnnotationValue -> AnnotationValue -> Ordering # (<) :: AnnotationValue -> AnnotationValue -> Bool # (<=) :: AnnotationValue -> AnnotationValue -> Bool # (>) :: AnnotationValue -> AnnotationValue -> Bool # (>=) :: AnnotationValue -> AnnotationValue -> Bool # max :: AnnotationValue -> AnnotationValue -> AnnotationValue # min :: AnnotationValue -> AnnotationValue -> AnnotationValue #

_AnnotationValue :: Name Source #

_AnnotationValue_anonymousIndividual :: FieldName Source #

_AnnotationValue_iri :: FieldName Source #

_AnnotationValue_literal :: FieldName Source #

data Annotation Source #

Constructors

Annotation
Fields annotationAnnotations :: [Annotation] annotationProperty :: AnnotationProperty annotationValue :: AnnotationValue

Instances

Instances details

Read Annotation Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Annotation # readList :: ReadS [Annotation] # readPrec :: ReadPrec Annotation # readListPrec :: ReadPrec [Annotation] #
Show Annotation Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Eq Annotation Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Ord Annotation Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Annotation -> Annotation -> Ordering # (<) :: Annotation -> Annotation -> Bool # (<=) :: Annotation -> Annotation -> Bool # (>) :: Annotation -> Annotation -> Bool # (>=) :: Annotation -> Annotation -> Bool # max :: Annotation -> Annotation -> Annotation # min :: Annotation -> Annotation -> Annotation #

_Annotation :: Name Source #

_Annotation_annotations :: FieldName Source #

_Annotation_property :: FieldName Source #

_Annotation_value :: FieldName Source #

data AnnotationAxiom Source #

Constructors

AnnotationAxiomAnnotationAssertion AnnotationAssertion
AnnotationAxiomAnnotationPropertyDomain AnnotationPropertyDomain
AnnotationAxiomAnnotationPropertyRange AnnotationPropertyRange
AnnotationAxiomSubAnnotationPropertyOf SubAnnotationPropertyOf

Instances

Instances details

Read AnnotationAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AnnotationAxiom # readList :: ReadS [AnnotationAxiom] # readPrec :: ReadPrec AnnotationAxiom # readListPrec :: ReadPrec [AnnotationAxiom] #
Show AnnotationAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AnnotationAxiom -> ShowS # show :: AnnotationAxiom -> String # showList :: [AnnotationAxiom] -> ShowS #
Eq AnnotationAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AnnotationAxiom -> AnnotationAxiom -> Bool # (/=) :: AnnotationAxiom -> AnnotationAxiom -> Bool #
Ord AnnotationAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AnnotationAxiom -> AnnotationAxiom -> Ordering # (<) :: AnnotationAxiom -> AnnotationAxiom -> Bool # (<=) :: AnnotationAxiom -> AnnotationAxiom -> Bool # (>) :: AnnotationAxiom -> AnnotationAxiom -> Bool # (>=) :: AnnotationAxiom -> AnnotationAxiom -> Bool # max :: AnnotationAxiom -> AnnotationAxiom -> AnnotationAxiom # min :: AnnotationAxiom -> AnnotationAxiom -> AnnotationAxiom #

_AnnotationAxiom :: Name Source #

_AnnotationAxiom_annotationAssertion :: FieldName Source #

_AnnotationAxiom_annotationPropertyDomain :: FieldName Source #

_AnnotationAxiom_annotationPropertyRange :: FieldName Source #

_AnnotationAxiom_subAnnotationPropertyOf :: FieldName Source #

data AnnotationAssertion Source #

Constructors

AnnotationAssertion
Fields annotationAssertionAnnotations :: [Annotation] annotationAssertionProperty :: AnnotationProperty annotationAssertionSubject :: AnnotationSubject annotationAssertionValue :: AnnotationValue

Instances

Instances details

Read AnnotationAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AnnotationAssertion # readList :: ReadS [AnnotationAssertion] # readPrec :: ReadPrec AnnotationAssertion # readListPrec :: ReadPrec [AnnotationAssertion] #
Show AnnotationAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AnnotationAssertion -> ShowS # show :: AnnotationAssertion -> String # showList :: [AnnotationAssertion] -> ShowS #
Eq AnnotationAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AnnotationAssertion -> AnnotationAssertion -> Bool # (/=) :: AnnotationAssertion -> AnnotationAssertion -> Bool #
Ord AnnotationAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AnnotationAssertion -> AnnotationAssertion -> Ordering # (<) :: AnnotationAssertion -> AnnotationAssertion -> Bool # (<=) :: AnnotationAssertion -> AnnotationAssertion -> Bool # (>) :: AnnotationAssertion -> AnnotationAssertion -> Bool # (>=) :: AnnotationAssertion -> AnnotationAssertion -> Bool # max :: AnnotationAssertion -> AnnotationAssertion -> AnnotationAssertion # min :: AnnotationAssertion -> AnnotationAssertion -> AnnotationAssertion #

_AnnotationAssertion :: Name Source #

_AnnotationAssertion_annotations :: FieldName Source #

_AnnotationAssertion_property :: FieldName Source #

_AnnotationAssertion_subject :: FieldName Source #

_AnnotationAssertion_value :: FieldName Source #

data SubAnnotationPropertyOf Source #

Constructors

SubAnnotationPropertyOf
Fields subAnnotationPropertyOfAnnotations :: [Annotation] subAnnotationPropertyOfSubProperty :: AnnotationProperty subAnnotationPropertyOfSuperProperty :: AnnotationProperty

Instances

Instances details

Read SubAnnotationPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS SubAnnotationPropertyOf # readList :: ReadS [SubAnnotationPropertyOf] # readPrec :: ReadPrec SubAnnotationPropertyOf # readListPrec :: ReadPrec [SubAnnotationPropertyOf] #
Show SubAnnotationPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> SubAnnotationPropertyOf -> ShowS # show :: SubAnnotationPropertyOf -> String # showList :: [SubAnnotationPropertyOf] -> ShowS #
Eq SubAnnotationPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> Bool # (/=) :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> Bool #
Ord SubAnnotationPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> Ordering # (<) :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> Bool # (<=) :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> Bool # (>) :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> Bool # (>=) :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> Bool # max :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> SubAnnotationPropertyOf # min :: SubAnnotationPropertyOf -> SubAnnotationPropertyOf -> SubAnnotationPropertyOf #

_SubAnnotationPropertyOf :: Name Source #

_SubAnnotationPropertyOf_annotations :: FieldName Source #

_SubAnnotationPropertyOf_subProperty :: FieldName Source #

_SubAnnotationPropertyOf_superProperty :: FieldName Source #

data AnnotationPropertyDomain Source #

Constructors

AnnotationPropertyDomain
Fields annotationPropertyDomainAnnotations :: [Annotation] annotationPropertyDomainProperty :: AnnotationProperty annotationPropertyDomainIri :: Iri

Instances

Instances details

Read AnnotationPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AnnotationPropertyDomain # readList :: ReadS [AnnotationPropertyDomain] # readPrec :: ReadPrec AnnotationPropertyDomain # readListPrec :: ReadPrec [AnnotationPropertyDomain] #
Show AnnotationPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AnnotationPropertyDomain -> ShowS # show :: AnnotationPropertyDomain -> String # showList :: [AnnotationPropertyDomain] -> ShowS #
Eq AnnotationPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> Bool # (/=) :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> Bool #
Ord AnnotationPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> Ordering # (<) :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> Bool # (<=) :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> Bool # (>) :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> Bool # (>=) :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> Bool # max :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> AnnotationPropertyDomain # min :: AnnotationPropertyDomain -> AnnotationPropertyDomain -> AnnotationPropertyDomain #

_AnnotationPropertyDomain :: Name Source #

_AnnotationPropertyDomain_annotations :: FieldName Source #

_AnnotationPropertyDomain_property :: FieldName Source #

_AnnotationPropertyDomain_iri :: FieldName Source #

data AnnotationPropertyRange Source #

Constructors

AnnotationPropertyRange
Fields annotationPropertyRangeAnnotations :: [Annotation] annotationPropertyRangeProperty :: AnnotationProperty annotationPropertyRangeIri :: Iri

Instances

Instances details

Read AnnotationPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AnnotationPropertyRange # readList :: ReadS [AnnotationPropertyRange] # readPrec :: ReadPrec AnnotationPropertyRange # readListPrec :: ReadPrec [AnnotationPropertyRange] #
Show AnnotationPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AnnotationPropertyRange -> ShowS # show :: AnnotationPropertyRange -> String # showList :: [AnnotationPropertyRange] -> ShowS #
Eq AnnotationPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AnnotationPropertyRange -> AnnotationPropertyRange -> Bool # (/=) :: AnnotationPropertyRange -> AnnotationPropertyRange -> Bool #
Ord AnnotationPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AnnotationPropertyRange -> AnnotationPropertyRange -> Ordering # (<) :: AnnotationPropertyRange -> AnnotationPropertyRange -> Bool # (<=) :: AnnotationPropertyRange -> AnnotationPropertyRange -> Bool # (>) :: AnnotationPropertyRange -> AnnotationPropertyRange -> Bool # (>=) :: AnnotationPropertyRange -> AnnotationPropertyRange -> Bool # max :: AnnotationPropertyRange -> AnnotationPropertyRange -> AnnotationPropertyRange # min :: AnnotationPropertyRange -> AnnotationPropertyRange -> AnnotationPropertyRange #

_AnnotationPropertyRange :: Name Source #

_AnnotationPropertyRange_annotations :: FieldName Source #

_AnnotationPropertyRange_property :: FieldName Source #

_AnnotationPropertyRange_iri :: FieldName Source #

data Class Source #

See https://www.w3.org/TR/owl2-syntax/#Classes

Constructors

Class

Instances

Instances details

Read Class Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Class # readList :: ReadS [Class] # readPrec :: ReadPrec Class # readListPrec :: ReadPrec [Class] #
Show Class Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Class -> ShowS # show :: Class -> String # showList :: [Class] -> ShowS #
Eq Class Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Class -> Class -> Bool # (/=) :: Class -> Class -> Bool #
Ord Class Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Class -> Class -> Ordering # (<) :: Class -> Class -> Bool # (<=) :: Class -> Class -> Bool # (>) :: Class -> Class -> Bool # (>=) :: Class -> Class -> Bool # max :: Class -> Class -> Class # min :: Class -> Class -> Class #

_Class :: Name Source #

data Datatype Source #

See https://www.w3.org/TR/owl2-syntax/#Datatypes

Constructors

DatatypeXmlSchema Datatype	Note: XML Schema datatypes are treated as a special case in this model (not in the OWL 2 specification itself) because they are particularly common
DatatypeOther Iri

Instances

Instances details

Read Datatype Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Datatype # readList :: ReadS [Datatype] # readPrec :: ReadPrec Datatype # readListPrec :: ReadPrec [Datatype] #
Show Datatype Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Datatype -> ShowS # show :: Datatype -> String # showList :: [Datatype] -> ShowS #
Eq Datatype Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Datatype -> Datatype -> Bool # (/=) :: Datatype -> Datatype -> Bool #
Ord Datatype Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Datatype -> Datatype -> Ordering # (<) :: Datatype -> Datatype -> Bool # (<=) :: Datatype -> Datatype -> Bool # (>) :: Datatype -> Datatype -> Bool # (>=) :: Datatype -> Datatype -> Bool # max :: Datatype -> Datatype -> Datatype # min :: Datatype -> Datatype -> Datatype #

_Datatype :: Name Source #

_Datatype_xmlSchema :: FieldName Source #

_Datatype_other :: FieldName Source #

data ObjectProperty Source #

See https://www.w3.org/TR/owl2-syntax/#Object_Properties

Constructors

ObjectProperty

Instances

Instances details

Read ObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectProperty # readList :: ReadS [ObjectProperty] # readPrec :: ReadPrec ObjectProperty # readListPrec :: ReadPrec [ObjectProperty] #
Show ObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectProperty -> ShowS # show :: ObjectProperty -> String # showList :: [ObjectProperty] -> ShowS #
Eq ObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectProperty -> ObjectProperty -> Bool # (/=) :: ObjectProperty -> ObjectProperty -> Bool #
Ord ObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectProperty -> ObjectProperty -> Ordering # (<) :: ObjectProperty -> ObjectProperty -> Bool # (<=) :: ObjectProperty -> ObjectProperty -> Bool # (>) :: ObjectProperty -> ObjectProperty -> Bool # (>=) :: ObjectProperty -> ObjectProperty -> Bool # max :: ObjectProperty -> ObjectProperty -> ObjectProperty # min :: ObjectProperty -> ObjectProperty -> ObjectProperty #

_ObjectProperty :: Name Source #

data DataProperty Source #

Constructors

DataProperty

Instances

Instances details

Read DataProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataProperty # readList :: ReadS [DataProperty] # readPrec :: ReadPrec DataProperty # readListPrec :: ReadPrec [DataProperty] #
Show DataProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataProperty -> ShowS # show :: DataProperty -> String # showList :: [DataProperty] -> ShowS #
Eq DataProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataProperty -> DataProperty -> Bool # (/=) :: DataProperty -> DataProperty -> Bool #
Ord DataProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataProperty -> DataProperty -> Ordering # (<) :: DataProperty -> DataProperty -> Bool # (<=) :: DataProperty -> DataProperty -> Bool # (>) :: DataProperty -> DataProperty -> Bool # (>=) :: DataProperty -> DataProperty -> Bool # max :: DataProperty -> DataProperty -> DataProperty # min :: DataProperty -> DataProperty -> DataProperty #

_DataProperty :: Name Source #

data AnnotationProperty Source #

Constructors

AnnotationProperty

Instances

Instances details

Read AnnotationProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AnnotationProperty # readList :: ReadS [AnnotationProperty] # readPrec :: ReadPrec AnnotationProperty # readListPrec :: ReadPrec [AnnotationProperty] #
Show AnnotationProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AnnotationProperty -> ShowS # show :: AnnotationProperty -> String # showList :: [AnnotationProperty] -> ShowS #
Eq AnnotationProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AnnotationProperty -> AnnotationProperty -> Bool # (/=) :: AnnotationProperty -> AnnotationProperty -> Bool #
Ord AnnotationProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AnnotationProperty -> AnnotationProperty -> Ordering # (<) :: AnnotationProperty -> AnnotationProperty -> Bool # (<=) :: AnnotationProperty -> AnnotationProperty -> Bool # (>) :: AnnotationProperty -> AnnotationProperty -> Bool # (>=) :: AnnotationProperty -> AnnotationProperty -> Bool # max :: AnnotationProperty -> AnnotationProperty -> AnnotationProperty # min :: AnnotationProperty -> AnnotationProperty -> AnnotationProperty #

_AnnotationProperty :: Name Source #

data Individual Source #

Constructors

IndividualNamed NamedIndividual
IndividualAnonymous AnonymousIndividual

Instances

Instances details

Read Individual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Individual # readList :: ReadS [Individual] # readPrec :: ReadPrec Individual # readListPrec :: ReadPrec [Individual] #
Show Individual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Individual -> ShowS # show :: Individual -> String # showList :: [Individual] -> ShowS #
Eq Individual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Individual -> Individual -> Bool # (/=) :: Individual -> Individual -> Bool #
Ord Individual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Individual -> Individual -> Ordering # (<) :: Individual -> Individual -> Bool # (<=) :: Individual -> Individual -> Bool # (>) :: Individual -> Individual -> Bool # (>=) :: Individual -> Individual -> Bool # max :: Individual -> Individual -> Individual # min :: Individual -> Individual -> Individual #

_Individual :: Name Source #

_Individual_named :: FieldName Source #

_Individual_anonymous :: FieldName Source #

data NamedIndividual Source #

Constructors

NamedIndividual

Instances

Instances details

Read NamedIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS NamedIndividual # readList :: ReadS [NamedIndividual] # readPrec :: ReadPrec NamedIndividual # readListPrec :: ReadPrec [NamedIndividual] #
Show NamedIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> NamedIndividual -> ShowS # show :: NamedIndividual -> String # showList :: [NamedIndividual] -> ShowS #
Eq NamedIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: NamedIndividual -> NamedIndividual -> Bool # (/=) :: NamedIndividual -> NamedIndividual -> Bool #
Ord NamedIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: NamedIndividual -> NamedIndividual -> Ordering # (<) :: NamedIndividual -> NamedIndividual -> Bool # (<=) :: NamedIndividual -> NamedIndividual -> Bool # (>) :: NamedIndividual -> NamedIndividual -> Bool # (>=) :: NamedIndividual -> NamedIndividual -> Bool # max :: NamedIndividual -> NamedIndividual -> NamedIndividual # min :: NamedIndividual -> NamedIndividual -> NamedIndividual #

_NamedIndividual :: Name Source #

data AnonymousIndividual Source #

Constructors

AnonymousIndividual

Instances

Instances details

Read AnonymousIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AnonymousIndividual # readList :: ReadS [AnonymousIndividual] # readPrec :: ReadPrec AnonymousIndividual # readListPrec :: ReadPrec [AnonymousIndividual] #
Show AnonymousIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AnonymousIndividual -> ShowS # show :: AnonymousIndividual -> String # showList :: [AnonymousIndividual] -> ShowS #
Eq AnonymousIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AnonymousIndividual -> AnonymousIndividual -> Bool # (/=) :: AnonymousIndividual -> AnonymousIndividual -> Bool #
Ord AnonymousIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AnonymousIndividual -> AnonymousIndividual -> Ordering # (<) :: AnonymousIndividual -> AnonymousIndividual -> Bool # (<=) :: AnonymousIndividual -> AnonymousIndividual -> Bool # (>) :: AnonymousIndividual -> AnonymousIndividual -> Bool # (>=) :: AnonymousIndividual -> AnonymousIndividual -> Bool # max :: AnonymousIndividual -> AnonymousIndividual -> AnonymousIndividual # min :: AnonymousIndividual -> AnonymousIndividual -> AnonymousIndividual #

_AnonymousIndividual :: Name Source #

data ObjectPropertyExpression Source #

Constructors

ObjectPropertyExpressionObject ObjectProperty
ObjectPropertyExpressionInverseObject InverseObjectProperty

Instances

Instances details

Read ObjectPropertyExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectPropertyExpression # readList :: ReadS [ObjectPropertyExpression] # readPrec :: ReadPrec ObjectPropertyExpression # readListPrec :: ReadPrec [ObjectPropertyExpression] #
Show ObjectPropertyExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectPropertyExpression -> ShowS # show :: ObjectPropertyExpression -> String # showList :: [ObjectPropertyExpression] -> ShowS #
Eq ObjectPropertyExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectPropertyExpression -> ObjectPropertyExpression -> Bool # (/=) :: ObjectPropertyExpression -> ObjectPropertyExpression -> Bool #
Ord ObjectPropertyExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectPropertyExpression -> ObjectPropertyExpression -> Ordering # (<) :: ObjectPropertyExpression -> ObjectPropertyExpression -> Bool # (<=) :: ObjectPropertyExpression -> ObjectPropertyExpression -> Bool # (>) :: ObjectPropertyExpression -> ObjectPropertyExpression -> Bool # (>=) :: ObjectPropertyExpression -> ObjectPropertyExpression -> Bool # max :: ObjectPropertyExpression -> ObjectPropertyExpression -> ObjectPropertyExpression # min :: ObjectPropertyExpression -> ObjectPropertyExpression -> ObjectPropertyExpression #

_ObjectPropertyExpression :: Name Source #

_ObjectPropertyExpression_object :: FieldName Source #

_ObjectPropertyExpression_inverseObject :: FieldName Source #

newtype InverseObjectProperty Source #

Constructors

InverseObjectProperty
Fields unInverseObjectProperty :: ObjectProperty

Instances

Instances details

Read InverseObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS InverseObjectProperty # readList :: ReadS [InverseObjectProperty] # readPrec :: ReadPrec InverseObjectProperty # readListPrec :: ReadPrec [InverseObjectProperty] #
Show InverseObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> InverseObjectProperty -> ShowS # show :: InverseObjectProperty -> String # showList :: [InverseObjectProperty] -> ShowS #
Eq InverseObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: InverseObjectProperty -> InverseObjectProperty -> Bool # (/=) :: InverseObjectProperty -> InverseObjectProperty -> Bool #
Ord InverseObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: InverseObjectProperty -> InverseObjectProperty -> Ordering # (<) :: InverseObjectProperty -> InverseObjectProperty -> Bool # (<=) :: InverseObjectProperty -> InverseObjectProperty -> Bool # (>) :: InverseObjectProperty -> InverseObjectProperty -> Bool # (>=) :: InverseObjectProperty -> InverseObjectProperty -> Bool # max :: InverseObjectProperty -> InverseObjectProperty -> InverseObjectProperty # min :: InverseObjectProperty -> InverseObjectProperty -> InverseObjectProperty #

_InverseObjectProperty :: Name Source #

newtype DataPropertyExpression Source #

Constructors

DataPropertyExpression
Fields unDataPropertyExpression :: DataProperty

Instances

Instances details

Read DataPropertyExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataPropertyExpression # readList :: ReadS [DataPropertyExpression] # readPrec :: ReadPrec DataPropertyExpression # readListPrec :: ReadPrec [DataPropertyExpression] #
Show DataPropertyExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataPropertyExpression -> ShowS # show :: DataPropertyExpression -> String # showList :: [DataPropertyExpression] -> ShowS #
Eq DataPropertyExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataPropertyExpression -> DataPropertyExpression -> Bool # (/=) :: DataPropertyExpression -> DataPropertyExpression -> Bool #
Ord DataPropertyExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataPropertyExpression -> DataPropertyExpression -> Ordering # (<) :: DataPropertyExpression -> DataPropertyExpression -> Bool # (<=) :: DataPropertyExpression -> DataPropertyExpression -> Bool # (>) :: DataPropertyExpression -> DataPropertyExpression -> Bool # (>=) :: DataPropertyExpression -> DataPropertyExpression -> Bool # max :: DataPropertyExpression -> DataPropertyExpression -> DataPropertyExpression # min :: DataPropertyExpression -> DataPropertyExpression -> DataPropertyExpression #

_DataPropertyExpression :: Name Source #

data DataRange Source #

See https://www.w3.org/TR/owl2-syntax/#Data_Ranges

Constructors

DataRangeDataComplementOf DataComplementOf
DataRangeDataIntersectionOf DataIntersectionOf
DataRangeDataOneOf DataOneOf
DataRangeDataUnionOf DataUnionOf
DataRangeDatatype Datatype
DataRangeDatatypeRestriction DatatypeRestriction

Instances

Instances details

Read DataRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataRange # readList :: ReadS [DataRange] # readPrec :: ReadPrec DataRange # readListPrec :: ReadPrec [DataRange] #
Show DataRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataRange -> ShowS # show :: DataRange -> String # showList :: [DataRange] -> ShowS #
Eq DataRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataRange -> DataRange -> Bool # (/=) :: DataRange -> DataRange -> Bool #
Ord DataRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataRange -> DataRange -> Ordering # (<) :: DataRange -> DataRange -> Bool # (<=) :: DataRange -> DataRange -> Bool # (>) :: DataRange -> DataRange -> Bool # (>=) :: DataRange -> DataRange -> Bool # max :: DataRange -> DataRange -> DataRange # min :: DataRange -> DataRange -> DataRange #

_DataRange :: Name Source #

_DataRange_dataComplementOf :: FieldName Source #

_DataRange_dataIntersectionOf :: FieldName Source #

_DataRange_dataOneOf :: FieldName Source #

_DataRange_dataUnionOf :: FieldName Source #

_DataRange_datatype :: FieldName Source #

_DataRange_datatypeRestriction :: FieldName Source #

newtype DataIntersectionOf Source #

See https://www.w3.org/TR/owl2-syntax/#Intersection_of_Data_Ranges

Constructors

DataIntersectionOf
Fields unDataIntersectionOf :: [DataRange] See https://www.w3.org/TR/owl2-syntax/#Intersection_of_Data_Ranges

Instances

Instances details

Read DataIntersectionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataIntersectionOf # readList :: ReadS [DataIntersectionOf] # readPrec :: ReadPrec DataIntersectionOf # readListPrec :: ReadPrec [DataIntersectionOf] #
Show DataIntersectionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataIntersectionOf -> ShowS # show :: DataIntersectionOf -> String # showList :: [DataIntersectionOf] -> ShowS #
Eq DataIntersectionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataIntersectionOf -> DataIntersectionOf -> Bool # (/=) :: DataIntersectionOf -> DataIntersectionOf -> Bool #
Ord DataIntersectionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataIntersectionOf -> DataIntersectionOf -> Ordering # (<) :: DataIntersectionOf -> DataIntersectionOf -> Bool # (<=) :: DataIntersectionOf -> DataIntersectionOf -> Bool # (>) :: DataIntersectionOf -> DataIntersectionOf -> Bool # (>=) :: DataIntersectionOf -> DataIntersectionOf -> Bool # max :: DataIntersectionOf -> DataIntersectionOf -> DataIntersectionOf # min :: DataIntersectionOf -> DataIntersectionOf -> DataIntersectionOf #

_DataIntersectionOf :: Name Source #

newtype DataUnionOf Source #

See https://www.w3.org/TR/owl2-syntax/#Union_of_Data_Ranges

Constructors

DataUnionOf
Fields unDataUnionOf :: [DataRange] See https://www.w3.org/TR/owl2-syntax/#Union_of_Data_Ranges

Instances

Instances details

Read DataUnionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataUnionOf # readList :: ReadS [DataUnionOf] # readPrec :: ReadPrec DataUnionOf # readListPrec :: ReadPrec [DataUnionOf] #
Show DataUnionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataUnionOf -> ShowS # show :: DataUnionOf -> String # showList :: [DataUnionOf] -> ShowS #
Eq DataUnionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataUnionOf -> DataUnionOf -> Bool # (/=) :: DataUnionOf -> DataUnionOf -> Bool #
Ord DataUnionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataUnionOf -> DataUnionOf -> Ordering # (<) :: DataUnionOf -> DataUnionOf -> Bool # (<=) :: DataUnionOf -> DataUnionOf -> Bool # (>) :: DataUnionOf -> DataUnionOf -> Bool # (>=) :: DataUnionOf -> DataUnionOf -> Bool # max :: DataUnionOf -> DataUnionOf -> DataUnionOf # min :: DataUnionOf -> DataUnionOf -> DataUnionOf #

_DataUnionOf :: Name Source #

newtype DataComplementOf Source #

See https://www.w3.org/TR/owl2-syntax/#Complement_of_Data_Ranges

Constructors

DataComplementOf
Fields unDataComplementOf :: DataRange See https://www.w3.org/TR/owl2-syntax/#Complement_of_Data_Ranges

Instances

Instances details

Read DataComplementOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataComplementOf # readList :: ReadS [DataComplementOf] # readPrec :: ReadPrec DataComplementOf # readListPrec :: ReadPrec [DataComplementOf] #
Show DataComplementOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataComplementOf -> ShowS # show :: DataComplementOf -> String # showList :: [DataComplementOf] -> ShowS #
Eq DataComplementOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataComplementOf -> DataComplementOf -> Bool # (/=) :: DataComplementOf -> DataComplementOf -> Bool #
Ord DataComplementOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataComplementOf -> DataComplementOf -> Ordering # (<) :: DataComplementOf -> DataComplementOf -> Bool # (<=) :: DataComplementOf -> DataComplementOf -> Bool # (>) :: DataComplementOf -> DataComplementOf -> Bool # (>=) :: DataComplementOf -> DataComplementOf -> Bool # max :: DataComplementOf -> DataComplementOf -> DataComplementOf # min :: DataComplementOf -> DataComplementOf -> DataComplementOf #

_DataComplementOf :: Name Source #

newtype DataOneOf Source #

See https://www.w3.org/TR/owl2-syntax/#Enumeration_of_Literals

Constructors

DataOneOf
Fields unDataOneOf :: [Literal] See https://www.w3.org/TR/owl2-syntax/#Enumeration_of_Literals

Instances

Instances details

Read DataOneOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataOneOf # readList :: ReadS [DataOneOf] # readPrec :: ReadPrec DataOneOf # readListPrec :: ReadPrec [DataOneOf] #
Show DataOneOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataOneOf -> ShowS # show :: DataOneOf -> String # showList :: [DataOneOf] -> ShowS #
Eq DataOneOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataOneOf -> DataOneOf -> Bool # (/=) :: DataOneOf -> DataOneOf -> Bool #
Ord DataOneOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataOneOf -> DataOneOf -> Ordering # (<) :: DataOneOf -> DataOneOf -> Bool # (<=) :: DataOneOf -> DataOneOf -> Bool # (>) :: DataOneOf -> DataOneOf -> Bool # (>=) :: DataOneOf -> DataOneOf -> Bool # max :: DataOneOf -> DataOneOf -> DataOneOf # min :: DataOneOf -> DataOneOf -> DataOneOf #

_DataOneOf :: Name Source #

data DatatypeRestriction Source #

See https://www.w3.org/TR/owl2-syntax/#Datatype_Restrictions

Constructors

DatatypeRestriction
Fields datatypeRestrictionDatatype :: Datatype datatypeRestrictionConstraints :: [DatatypeRestriction_Constraint]

Instances

Instances details

Read DatatypeRestriction Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DatatypeRestriction # readList :: ReadS [DatatypeRestriction] # readPrec :: ReadPrec DatatypeRestriction # readListPrec :: ReadPrec [DatatypeRestriction] #
Show DatatypeRestriction Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DatatypeRestriction -> ShowS # show :: DatatypeRestriction -> String # showList :: [DatatypeRestriction] -> ShowS #
Eq DatatypeRestriction Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DatatypeRestriction -> DatatypeRestriction -> Bool # (/=) :: DatatypeRestriction -> DatatypeRestriction -> Bool #
Ord DatatypeRestriction Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DatatypeRestriction -> DatatypeRestriction -> Ordering # (<) :: DatatypeRestriction -> DatatypeRestriction -> Bool # (<=) :: DatatypeRestriction -> DatatypeRestriction -> Bool # (>) :: DatatypeRestriction -> DatatypeRestriction -> Bool # (>=) :: DatatypeRestriction -> DatatypeRestriction -> Bool # max :: DatatypeRestriction -> DatatypeRestriction -> DatatypeRestriction # min :: DatatypeRestriction -> DatatypeRestriction -> DatatypeRestriction #

_DatatypeRestriction :: Name Source #

_DatatypeRestriction_datatype :: FieldName Source #

_DatatypeRestriction_constraints :: FieldName Source #

data DatatypeRestriction_Constraint Source #

Constructors

DatatypeRestriction_Constraint
Fields datatypeRestriction_ConstraintConstrainingFacet :: DatatypeRestriction_ConstrainingFacet datatypeRestriction_ConstraintRestrictionValue :: Literal

Instances

Instances details

Read DatatypeRestriction_Constraint Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DatatypeRestriction_Constraint # readList :: ReadS [DatatypeRestriction_Constraint] # readPrec :: ReadPrec DatatypeRestriction_Constraint # readListPrec :: ReadPrec [DatatypeRestriction_Constraint] #
Show DatatypeRestriction_Constraint Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DatatypeRestriction_Constraint -> ShowS # show :: DatatypeRestriction_Constraint -> String # showList :: [DatatypeRestriction_Constraint] -> ShowS #
Eq DatatypeRestriction_Constraint Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> Bool # (/=) :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> Bool #
Ord DatatypeRestriction_Constraint Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> Ordering # (<) :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> Bool # (<=) :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> Bool # (>) :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> Bool # (>=) :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> Bool # max :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint # min :: DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint -> DatatypeRestriction_Constraint #

_DatatypeRestriction_Constraint :: Name Source #

_DatatypeRestriction_Constraint_constrainingFacet :: FieldName Source #

_DatatypeRestriction_Constraint_restrictionValue :: FieldName Source #

data DatatypeRestriction_ConstrainingFacet Source #

Constructors

DatatypeRestriction_ConstrainingFacetXmlSchema ConstrainingFacet	Note: XML Schema constraining facets are treated as a special case in this model (not in the OWL 2 specification itself) because they are particularly common
DatatypeRestriction_ConstrainingFacetOther Iri

Instances

Instances details

Read DatatypeRestriction_ConstrainingFacet Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DatatypeRestriction_ConstrainingFacet # readList :: ReadS [DatatypeRestriction_ConstrainingFacet] # readPrec :: ReadPrec DatatypeRestriction_ConstrainingFacet # readListPrec :: ReadPrec [DatatypeRestriction_ConstrainingFacet] #
Show DatatypeRestriction_ConstrainingFacet Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DatatypeRestriction_ConstrainingFacet -> ShowS # show :: DatatypeRestriction_ConstrainingFacet -> String # showList :: [DatatypeRestriction_ConstrainingFacet] -> ShowS #
Eq DatatypeRestriction_ConstrainingFacet Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> Bool # (/=) :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> Bool #
Ord DatatypeRestriction_ConstrainingFacet Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> Ordering # (<) :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> Bool # (<=) :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> Bool # (>) :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> Bool # (>=) :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> Bool # max :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet # min :: DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet -> DatatypeRestriction_ConstrainingFacet #

_DatatypeRestriction_ConstrainingFacet :: Name Source #

_DatatypeRestriction_ConstrainingFacet_xmlSchema :: FieldName Source #

_DatatypeRestriction_ConstrainingFacet_other :: FieldName Source #

data ClassExpression Source #

Constructors

ClassExpressionClass Class
ClassExpressionDataSomeValuesFrom DataSomeValuesFrom
ClassExpressionDataAllValuesFrom DataAllValuesFrom
ClassExpressionDataHasValue DataHasValue
ClassExpressionDataMinCardinality DataMinCardinality
ClassExpressionDataMaxCardinality DataMaxCardinality
ClassExpressionDataExactCardinality DataExactCardinality
ClassExpressionObjectAllValuesFrom ObjectAllValuesFrom
ClassExpressionObjectExactCardinality ObjectExactCardinality
ClassExpressionObjectHasSelf ObjectHasSelf
ClassExpressionObjectHasValue ObjectHasValue
ClassExpressionObjectIntersectionOf ObjectIntersectionOf
ClassExpressionObjectMaxCardinality ObjectMaxCardinality
ClassExpressionObjectMinCardinality ObjectMinCardinality
ClassExpressionObjectOneOf ObjectOneOf
ClassExpressionObjectSomeValuesFrom ObjectSomeValuesFrom
ClassExpressionObjectUnionOf ObjectUnionOf

Instances

Instances details

Read ClassExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ClassExpression # readList :: ReadS [ClassExpression] # readPrec :: ReadPrec ClassExpression # readListPrec :: ReadPrec [ClassExpression] #
Show ClassExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ClassExpression -> ShowS # show :: ClassExpression -> String # showList :: [ClassExpression] -> ShowS #
Eq ClassExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ClassExpression -> ClassExpression -> Bool # (/=) :: ClassExpression -> ClassExpression -> Bool #
Ord ClassExpression Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ClassExpression -> ClassExpression -> Ordering # (<) :: ClassExpression -> ClassExpression -> Bool # (<=) :: ClassExpression -> ClassExpression -> Bool # (>) :: ClassExpression -> ClassExpression -> Bool # (>=) :: ClassExpression -> ClassExpression -> Bool # max :: ClassExpression -> ClassExpression -> ClassExpression # min :: ClassExpression -> ClassExpression -> ClassExpression #

_ClassExpression :: Name Source #

_ClassExpression_class :: FieldName Source #

_ClassExpression_dataSomeValuesFrom :: FieldName Source #

_ClassExpression_dataAllValuesFrom :: FieldName Source #

_ClassExpression_dataHasValue :: FieldName Source #

_ClassExpression_dataMinCardinality :: FieldName Source #

_ClassExpression_dataMaxCardinality :: FieldName Source #

_ClassExpression_dataExactCardinality :: FieldName Source #

_ClassExpression_objectAllValuesFrom :: FieldName Source #

_ClassExpression_objectExactCardinality :: FieldName Source #

_ClassExpression_objectHasSelf :: FieldName Source #

_ClassExpression_objectHasValue :: FieldName Source #

_ClassExpression_objectIntersectionOf :: FieldName Source #

_ClassExpression_objectMaxCardinality :: FieldName Source #

_ClassExpression_objectMinCardinality :: FieldName Source #

_ClassExpression_objectOneOf :: FieldName Source #

_ClassExpression_objectSomeValuesFrom :: FieldName Source #

_ClassExpression_objectUnionOf :: FieldName Source #

newtype ObjectIntersectionOf Source #

Constructors

ObjectIntersectionOf
Fields unObjectIntersectionOf :: [ClassExpression]

Instances

Instances details

Read ObjectIntersectionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectIntersectionOf # readList :: ReadS [ObjectIntersectionOf] # readPrec :: ReadPrec ObjectIntersectionOf # readListPrec :: ReadPrec [ObjectIntersectionOf] #
Show ObjectIntersectionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectIntersectionOf -> ShowS # show :: ObjectIntersectionOf -> String # showList :: [ObjectIntersectionOf] -> ShowS #
Eq ObjectIntersectionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectIntersectionOf -> ObjectIntersectionOf -> Bool # (/=) :: ObjectIntersectionOf -> ObjectIntersectionOf -> Bool #
Ord ObjectIntersectionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectIntersectionOf -> ObjectIntersectionOf -> Ordering # (<) :: ObjectIntersectionOf -> ObjectIntersectionOf -> Bool # (<=) :: ObjectIntersectionOf -> ObjectIntersectionOf -> Bool # (>) :: ObjectIntersectionOf -> ObjectIntersectionOf -> Bool # (>=) :: ObjectIntersectionOf -> ObjectIntersectionOf -> Bool # max :: ObjectIntersectionOf -> ObjectIntersectionOf -> ObjectIntersectionOf # min :: ObjectIntersectionOf -> ObjectIntersectionOf -> ObjectIntersectionOf #

_ObjectIntersectionOf :: Name Source #

newtype ObjectUnionOf Source #

Constructors

ObjectUnionOf
Fields unObjectUnionOf :: [ClassExpression]

Instances

Instances details

Read ObjectUnionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectUnionOf # readList :: ReadS [ObjectUnionOf] # readPrec :: ReadPrec ObjectUnionOf # readListPrec :: ReadPrec [ObjectUnionOf] #
Show ObjectUnionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectUnionOf -> ShowS # show :: ObjectUnionOf -> String # showList :: [ObjectUnionOf] -> ShowS #
Eq ObjectUnionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectUnionOf -> ObjectUnionOf -> Bool # (/=) :: ObjectUnionOf -> ObjectUnionOf -> Bool #
Ord ObjectUnionOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectUnionOf -> ObjectUnionOf -> Ordering # (<) :: ObjectUnionOf -> ObjectUnionOf -> Bool # (<=) :: ObjectUnionOf -> ObjectUnionOf -> Bool # (>) :: ObjectUnionOf -> ObjectUnionOf -> Bool # (>=) :: ObjectUnionOf -> ObjectUnionOf -> Bool # max :: ObjectUnionOf -> ObjectUnionOf -> ObjectUnionOf # min :: ObjectUnionOf -> ObjectUnionOf -> ObjectUnionOf #

_ObjectUnionOf :: Name Source #

newtype ObjectComplementOf Source #

Constructors

ObjectComplementOf
Fields unObjectComplementOf :: ClassExpression

Instances

Instances details

Read ObjectComplementOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectComplementOf # readList :: ReadS [ObjectComplementOf] # readPrec :: ReadPrec ObjectComplementOf # readListPrec :: ReadPrec [ObjectComplementOf] #
Show ObjectComplementOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectComplementOf -> ShowS # show :: ObjectComplementOf -> String # showList :: [ObjectComplementOf] -> ShowS #
Eq ObjectComplementOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectComplementOf -> ObjectComplementOf -> Bool # (/=) :: ObjectComplementOf -> ObjectComplementOf -> Bool #
Ord ObjectComplementOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectComplementOf -> ObjectComplementOf -> Ordering # (<) :: ObjectComplementOf -> ObjectComplementOf -> Bool # (<=) :: ObjectComplementOf -> ObjectComplementOf -> Bool # (>) :: ObjectComplementOf -> ObjectComplementOf -> Bool # (>=) :: ObjectComplementOf -> ObjectComplementOf -> Bool # max :: ObjectComplementOf -> ObjectComplementOf -> ObjectComplementOf # min :: ObjectComplementOf -> ObjectComplementOf -> ObjectComplementOf #

_ObjectComplementOf :: Name Source #

newtype ObjectOneOf Source #

Constructors

ObjectOneOf
Fields unObjectOneOf :: [Individual]

Instances

Instances details

Read ObjectOneOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectOneOf # readList :: ReadS [ObjectOneOf] # readPrec :: ReadPrec ObjectOneOf # readListPrec :: ReadPrec [ObjectOneOf] #
Show ObjectOneOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectOneOf -> ShowS # show :: ObjectOneOf -> String # showList :: [ObjectOneOf] -> ShowS #
Eq ObjectOneOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectOneOf -> ObjectOneOf -> Bool # (/=) :: ObjectOneOf -> ObjectOneOf -> Bool #
Ord ObjectOneOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectOneOf -> ObjectOneOf -> Ordering # (<) :: ObjectOneOf -> ObjectOneOf -> Bool # (<=) :: ObjectOneOf -> ObjectOneOf -> Bool # (>) :: ObjectOneOf -> ObjectOneOf -> Bool # (>=) :: ObjectOneOf -> ObjectOneOf -> Bool # max :: ObjectOneOf -> ObjectOneOf -> ObjectOneOf # min :: ObjectOneOf -> ObjectOneOf -> ObjectOneOf #

_ObjectOneOf :: Name Source #

data ObjectSomeValuesFrom Source #

Constructors

ObjectSomeValuesFrom
Fields objectSomeValuesFromProperty :: ObjectPropertyExpression objectSomeValuesFromClass :: ClassExpression

Instances

Instances details

Read ObjectSomeValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectSomeValuesFrom # readList :: ReadS [ObjectSomeValuesFrom] # readPrec :: ReadPrec ObjectSomeValuesFrom # readListPrec :: ReadPrec [ObjectSomeValuesFrom] #
Show ObjectSomeValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectSomeValuesFrom -> ShowS # show :: ObjectSomeValuesFrom -> String # showList :: [ObjectSomeValuesFrom] -> ShowS #
Eq ObjectSomeValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> Bool # (/=) :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> Bool #
Ord ObjectSomeValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> Ordering # (<) :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> Bool # (<=) :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> Bool # (>) :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> Bool # (>=) :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> Bool # max :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> ObjectSomeValuesFrom # min :: ObjectSomeValuesFrom -> ObjectSomeValuesFrom -> ObjectSomeValuesFrom #

_ObjectSomeValuesFrom :: Name Source #

_ObjectSomeValuesFrom_property :: FieldName Source #

_ObjectSomeValuesFrom_class :: FieldName Source #

data ObjectAllValuesFrom Source #

Constructors

ObjectAllValuesFrom
Fields objectAllValuesFromProperty :: ObjectPropertyExpression objectAllValuesFromClass :: ClassExpression

Instances

Instances details

Read ObjectAllValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectAllValuesFrom # readList :: ReadS [ObjectAllValuesFrom] # readPrec :: ReadPrec ObjectAllValuesFrom # readListPrec :: ReadPrec [ObjectAllValuesFrom] #
Show ObjectAllValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectAllValuesFrom -> ShowS # show :: ObjectAllValuesFrom -> String # showList :: [ObjectAllValuesFrom] -> ShowS #
Eq ObjectAllValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> Bool # (/=) :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> Bool #
Ord ObjectAllValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> Ordering # (<) :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> Bool # (<=) :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> Bool # (>) :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> Bool # (>=) :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> Bool # max :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> ObjectAllValuesFrom # min :: ObjectAllValuesFrom -> ObjectAllValuesFrom -> ObjectAllValuesFrom #

_ObjectAllValuesFrom :: Name Source #

_ObjectAllValuesFrom_property :: FieldName Source #

_ObjectAllValuesFrom_class :: FieldName Source #

data ObjectHasValue Source #

Constructors

ObjectHasValue
Fields objectHasValueProperty :: ObjectPropertyExpression objectHasValueIndividual :: Individual

Instances

Instances details

Read ObjectHasValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectHasValue # readList :: ReadS [ObjectHasValue] # readPrec :: ReadPrec ObjectHasValue # readListPrec :: ReadPrec [ObjectHasValue] #
Show ObjectHasValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectHasValue -> ShowS # show :: ObjectHasValue -> String # showList :: [ObjectHasValue] -> ShowS #
Eq ObjectHasValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectHasValue -> ObjectHasValue -> Bool # (/=) :: ObjectHasValue -> ObjectHasValue -> Bool #
Ord ObjectHasValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectHasValue -> ObjectHasValue -> Ordering # (<) :: ObjectHasValue -> ObjectHasValue -> Bool # (<=) :: ObjectHasValue -> ObjectHasValue -> Bool # (>) :: ObjectHasValue -> ObjectHasValue -> Bool # (>=) :: ObjectHasValue -> ObjectHasValue -> Bool # max :: ObjectHasValue -> ObjectHasValue -> ObjectHasValue # min :: ObjectHasValue -> ObjectHasValue -> ObjectHasValue #

_ObjectHasValue :: Name Source #

_ObjectHasValue_property :: FieldName Source #

_ObjectHasValue_individual :: FieldName Source #

newtype ObjectHasSelf Source #

Constructors

ObjectHasSelf
Fields unObjectHasSelf :: ObjectPropertyExpression

Instances

Instances details

Read ObjectHasSelf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectHasSelf # readList :: ReadS [ObjectHasSelf] # readPrec :: ReadPrec ObjectHasSelf # readListPrec :: ReadPrec [ObjectHasSelf] #
Show ObjectHasSelf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectHasSelf -> ShowS # show :: ObjectHasSelf -> String # showList :: [ObjectHasSelf] -> ShowS #
Eq ObjectHasSelf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectHasSelf -> ObjectHasSelf -> Bool # (/=) :: ObjectHasSelf -> ObjectHasSelf -> Bool #
Ord ObjectHasSelf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectHasSelf -> ObjectHasSelf -> Ordering # (<) :: ObjectHasSelf -> ObjectHasSelf -> Bool # (<=) :: ObjectHasSelf -> ObjectHasSelf -> Bool # (>) :: ObjectHasSelf -> ObjectHasSelf -> Bool # (>=) :: ObjectHasSelf -> ObjectHasSelf -> Bool # max :: ObjectHasSelf -> ObjectHasSelf -> ObjectHasSelf # min :: ObjectHasSelf -> ObjectHasSelf -> ObjectHasSelf #

_ObjectHasSelf :: Name Source #

data ObjectMinCardinality Source #

See https://www.w3.org/TR/owl2-syntax/#Minimum_Cardinality

Constructors

ObjectMinCardinality
Fields objectMinCardinalityBound :: Integer objectMinCardinalityProperty :: ObjectPropertyExpression objectMinCardinalityClass :: [ClassExpression]

Instances

Instances details

Read ObjectMinCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectMinCardinality # readList :: ReadS [ObjectMinCardinality] # readPrec :: ReadPrec ObjectMinCardinality # readListPrec :: ReadPrec [ObjectMinCardinality] #
Show ObjectMinCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectMinCardinality -> ShowS # show :: ObjectMinCardinality -> String # showList :: [ObjectMinCardinality] -> ShowS #
Eq ObjectMinCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectMinCardinality -> ObjectMinCardinality -> Bool # (/=) :: ObjectMinCardinality -> ObjectMinCardinality -> Bool #
Ord ObjectMinCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectMinCardinality -> ObjectMinCardinality -> Ordering # (<) :: ObjectMinCardinality -> ObjectMinCardinality -> Bool # (<=) :: ObjectMinCardinality -> ObjectMinCardinality -> Bool # (>) :: ObjectMinCardinality -> ObjectMinCardinality -> Bool # (>=) :: ObjectMinCardinality -> ObjectMinCardinality -> Bool # max :: ObjectMinCardinality -> ObjectMinCardinality -> ObjectMinCardinality # min :: ObjectMinCardinality -> ObjectMinCardinality -> ObjectMinCardinality #

_ObjectMinCardinality :: Name Source #

_ObjectMinCardinality_bound :: FieldName Source #

_ObjectMinCardinality_property :: FieldName Source #

_ObjectMinCardinality_class :: FieldName Source #

data ObjectMaxCardinality Source #

See https://www.w3.org/TR/owl2-syntax/#Maximum_Cardinality

Constructors

ObjectMaxCardinality
Fields objectMaxCardinalityBound :: Integer objectMaxCardinalityProperty :: ObjectPropertyExpression objectMaxCardinalityClass :: [ClassExpression]

Instances

Instances details

Read ObjectMaxCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectMaxCardinality # readList :: ReadS [ObjectMaxCardinality] # readPrec :: ReadPrec ObjectMaxCardinality # readListPrec :: ReadPrec [ObjectMaxCardinality] #
Show ObjectMaxCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectMaxCardinality -> ShowS # show :: ObjectMaxCardinality -> String # showList :: [ObjectMaxCardinality] -> ShowS #
Eq ObjectMaxCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectMaxCardinality -> ObjectMaxCardinality -> Bool # (/=) :: ObjectMaxCardinality -> ObjectMaxCardinality -> Bool #
Ord ObjectMaxCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectMaxCardinality -> ObjectMaxCardinality -> Ordering # (<) :: ObjectMaxCardinality -> ObjectMaxCardinality -> Bool # (<=) :: ObjectMaxCardinality -> ObjectMaxCardinality -> Bool # (>) :: ObjectMaxCardinality -> ObjectMaxCardinality -> Bool # (>=) :: ObjectMaxCardinality -> ObjectMaxCardinality -> Bool # max :: ObjectMaxCardinality -> ObjectMaxCardinality -> ObjectMaxCardinality # min :: ObjectMaxCardinality -> ObjectMaxCardinality -> ObjectMaxCardinality #

_ObjectMaxCardinality :: Name Source #

_ObjectMaxCardinality_bound :: FieldName Source #

_ObjectMaxCardinality_property :: FieldName Source #

_ObjectMaxCardinality_class :: FieldName Source #

data ObjectExactCardinality Source #

See https://www.w3.org/TR/owl2-syntax/#Exact_Cardinality

Constructors

ObjectExactCardinality
Fields objectExactCardinalityBound :: Integer objectExactCardinalityProperty :: ObjectPropertyExpression objectExactCardinalityClass :: [ClassExpression]

Instances

Instances details

Read ObjectExactCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectExactCardinality # readList :: ReadS [ObjectExactCardinality] # readPrec :: ReadPrec ObjectExactCardinality # readListPrec :: ReadPrec [ObjectExactCardinality] #
Show ObjectExactCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectExactCardinality -> ShowS # show :: ObjectExactCardinality -> String # showList :: [ObjectExactCardinality] -> ShowS #
Eq ObjectExactCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectExactCardinality -> ObjectExactCardinality -> Bool # (/=) :: ObjectExactCardinality -> ObjectExactCardinality -> Bool #
Ord ObjectExactCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectExactCardinality -> ObjectExactCardinality -> Ordering # (<) :: ObjectExactCardinality -> ObjectExactCardinality -> Bool # (<=) :: ObjectExactCardinality -> ObjectExactCardinality -> Bool # (>) :: ObjectExactCardinality -> ObjectExactCardinality -> Bool # (>=) :: ObjectExactCardinality -> ObjectExactCardinality -> Bool # max :: ObjectExactCardinality -> ObjectExactCardinality -> ObjectExactCardinality # min :: ObjectExactCardinality -> ObjectExactCardinality -> ObjectExactCardinality #

_ObjectExactCardinality :: Name Source #

_ObjectExactCardinality_bound :: FieldName Source #

_ObjectExactCardinality_property :: FieldName Source #

_ObjectExactCardinality_class :: FieldName Source #

data DataSomeValuesFrom Source #

Constructors

DataSomeValuesFrom
Fields dataSomeValuesFromProperty :: [DataPropertyExpression] dataSomeValuesFromRange :: DataRange

Instances

Instances details

Read DataSomeValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataSomeValuesFrom # readList :: ReadS [DataSomeValuesFrom] # readPrec :: ReadPrec DataSomeValuesFrom # readListPrec :: ReadPrec [DataSomeValuesFrom] #
Show DataSomeValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataSomeValuesFrom -> ShowS # show :: DataSomeValuesFrom -> String # showList :: [DataSomeValuesFrom] -> ShowS #
Eq DataSomeValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataSomeValuesFrom -> DataSomeValuesFrom -> Bool # (/=) :: DataSomeValuesFrom -> DataSomeValuesFrom -> Bool #
Ord DataSomeValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataSomeValuesFrom -> DataSomeValuesFrom -> Ordering # (<) :: DataSomeValuesFrom -> DataSomeValuesFrom -> Bool # (<=) :: DataSomeValuesFrom -> DataSomeValuesFrom -> Bool # (>) :: DataSomeValuesFrom -> DataSomeValuesFrom -> Bool # (>=) :: DataSomeValuesFrom -> DataSomeValuesFrom -> Bool # max :: DataSomeValuesFrom -> DataSomeValuesFrom -> DataSomeValuesFrom # min :: DataSomeValuesFrom -> DataSomeValuesFrom -> DataSomeValuesFrom #

_DataSomeValuesFrom :: Name Source #

_DataSomeValuesFrom_property :: FieldName Source #

_DataSomeValuesFrom_range :: FieldName Source #

data DataAllValuesFrom Source #

Constructors

DataAllValuesFrom
Fields dataAllValuesFromProperty :: [DataPropertyExpression] dataAllValuesFromRange :: DataRange

Instances

Instances details

Read DataAllValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataAllValuesFrom # readList :: ReadS [DataAllValuesFrom] # readPrec :: ReadPrec DataAllValuesFrom # readListPrec :: ReadPrec [DataAllValuesFrom] #
Show DataAllValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataAllValuesFrom -> ShowS # show :: DataAllValuesFrom -> String # showList :: [DataAllValuesFrom] -> ShowS #
Eq DataAllValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataAllValuesFrom -> DataAllValuesFrom -> Bool # (/=) :: DataAllValuesFrom -> DataAllValuesFrom -> Bool #
Ord DataAllValuesFrom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataAllValuesFrom -> DataAllValuesFrom -> Ordering # (<) :: DataAllValuesFrom -> DataAllValuesFrom -> Bool # (<=) :: DataAllValuesFrom -> DataAllValuesFrom -> Bool # (>) :: DataAllValuesFrom -> DataAllValuesFrom -> Bool # (>=) :: DataAllValuesFrom -> DataAllValuesFrom -> Bool # max :: DataAllValuesFrom -> DataAllValuesFrom -> DataAllValuesFrom # min :: DataAllValuesFrom -> DataAllValuesFrom -> DataAllValuesFrom #

_DataAllValuesFrom :: Name Source #

_DataAllValuesFrom_property :: FieldName Source #

_DataAllValuesFrom_range :: FieldName Source #

data DataHasValue Source #

Constructors

DataHasValue
Fields dataHasValueProperty :: DataPropertyExpression dataHasValueValue :: Literal

Instances

Instances details

Read DataHasValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataHasValue # readList :: ReadS [DataHasValue] # readPrec :: ReadPrec DataHasValue # readListPrec :: ReadPrec [DataHasValue] #
Show DataHasValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataHasValue -> ShowS # show :: DataHasValue -> String # showList :: [DataHasValue] -> ShowS #
Eq DataHasValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataHasValue -> DataHasValue -> Bool # (/=) :: DataHasValue -> DataHasValue -> Bool #
Ord DataHasValue Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataHasValue -> DataHasValue -> Ordering # (<) :: DataHasValue -> DataHasValue -> Bool # (<=) :: DataHasValue -> DataHasValue -> Bool # (>) :: DataHasValue -> DataHasValue -> Bool # (>=) :: DataHasValue -> DataHasValue -> Bool # max :: DataHasValue -> DataHasValue -> DataHasValue # min :: DataHasValue -> DataHasValue -> DataHasValue #

_DataHasValue :: Name Source #

_DataHasValue_property :: FieldName Source #

_DataHasValue_value :: FieldName Source #

data DataMinCardinality Source #

Constructors

DataMinCardinality
Fields dataMinCardinalityBound :: Integer dataMinCardinalityProperty :: DataPropertyExpression dataMinCardinalityRange :: [DataRange]

Instances

Instances details

Read DataMinCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataMinCardinality # readList :: ReadS [DataMinCardinality] # readPrec :: ReadPrec DataMinCardinality # readListPrec :: ReadPrec [DataMinCardinality] #
Show DataMinCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataMinCardinality -> ShowS # show :: DataMinCardinality -> String # showList :: [DataMinCardinality] -> ShowS #
Eq DataMinCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataMinCardinality -> DataMinCardinality -> Bool # (/=) :: DataMinCardinality -> DataMinCardinality -> Bool #
Ord DataMinCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataMinCardinality -> DataMinCardinality -> Ordering # (<) :: DataMinCardinality -> DataMinCardinality -> Bool # (<=) :: DataMinCardinality -> DataMinCardinality -> Bool # (>) :: DataMinCardinality -> DataMinCardinality -> Bool # (>=) :: DataMinCardinality -> DataMinCardinality -> Bool # max :: DataMinCardinality -> DataMinCardinality -> DataMinCardinality # min :: DataMinCardinality -> DataMinCardinality -> DataMinCardinality #

_DataMinCardinality :: Name Source #

_DataMinCardinality_bound :: FieldName Source #

_DataMinCardinality_property :: FieldName Source #

_DataMinCardinality_range :: FieldName Source #

data DataMaxCardinality Source #

Constructors

DataMaxCardinality
Fields dataMaxCardinalityBound :: Integer dataMaxCardinalityProperty :: DataPropertyExpression dataMaxCardinalityRange :: [DataRange]

Instances

Instances details

Read DataMaxCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataMaxCardinality # readList :: ReadS [DataMaxCardinality] # readPrec :: ReadPrec DataMaxCardinality # readListPrec :: ReadPrec [DataMaxCardinality] #
Show DataMaxCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataMaxCardinality -> ShowS # show :: DataMaxCardinality -> String # showList :: [DataMaxCardinality] -> ShowS #
Eq DataMaxCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataMaxCardinality -> DataMaxCardinality -> Bool # (/=) :: DataMaxCardinality -> DataMaxCardinality -> Bool #
Ord DataMaxCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataMaxCardinality -> DataMaxCardinality -> Ordering # (<) :: DataMaxCardinality -> DataMaxCardinality -> Bool # (<=) :: DataMaxCardinality -> DataMaxCardinality -> Bool # (>) :: DataMaxCardinality -> DataMaxCardinality -> Bool # (>=) :: DataMaxCardinality -> DataMaxCardinality -> Bool # max :: DataMaxCardinality -> DataMaxCardinality -> DataMaxCardinality # min :: DataMaxCardinality -> DataMaxCardinality -> DataMaxCardinality #

_DataMaxCardinality :: Name Source #

_DataMaxCardinality_bound :: FieldName Source #

_DataMaxCardinality_property :: FieldName Source #

_DataMaxCardinality_range :: FieldName Source #

data DataExactCardinality Source #

Constructors

DataExactCardinality
Fields dataExactCardinalityBound :: Integer dataExactCardinalityProperty :: DataPropertyExpression dataExactCardinalityRange :: [DataRange]

Instances

Instances details

Read DataExactCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataExactCardinality # readList :: ReadS [DataExactCardinality] # readPrec :: ReadPrec DataExactCardinality # readListPrec :: ReadPrec [DataExactCardinality] #
Show DataExactCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataExactCardinality -> ShowS # show :: DataExactCardinality -> String # showList :: [DataExactCardinality] -> ShowS #
Eq DataExactCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataExactCardinality -> DataExactCardinality -> Bool # (/=) :: DataExactCardinality -> DataExactCardinality -> Bool #
Ord DataExactCardinality Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataExactCardinality -> DataExactCardinality -> Ordering # (<) :: DataExactCardinality -> DataExactCardinality -> Bool # (<=) :: DataExactCardinality -> DataExactCardinality -> Bool # (>) :: DataExactCardinality -> DataExactCardinality -> Bool # (>=) :: DataExactCardinality -> DataExactCardinality -> Bool # max :: DataExactCardinality -> DataExactCardinality -> DataExactCardinality # min :: DataExactCardinality -> DataExactCardinality -> DataExactCardinality #

_DataExactCardinality :: Name Source #

_DataExactCardinality_bound :: FieldName Source #

_DataExactCardinality_property :: FieldName Source #

_DataExactCardinality_range :: FieldName Source #

data Axiom Source #

See https://www.w3.org/TR/owl2-syntax/#Axioms

Constructors

AxiomAnnotationAxiom AnnotationAxiom
AxiomAssertion Assertion
AxiomClassAxiom ClassAxiom
AxiomDataPropertyAxiom DataPropertyAxiom
AxiomDatatypeDefinition DatatypeDefinition
AxiomDeclaration Declaration
AxiomHasKey HasKey
AxiomObjectPropertyAxiom ObjectPropertyAxiom

Instances

Instances details

Read Axiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Axiom # readList :: ReadS [Axiom] # readPrec :: ReadPrec Axiom # readListPrec :: ReadPrec [Axiom] #
Show Axiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Axiom -> ShowS # show :: Axiom -> String # showList :: [Axiom] -> ShowS #
Eq Axiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Axiom -> Axiom -> Bool # (/=) :: Axiom -> Axiom -> Bool #
Ord Axiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Axiom -> Axiom -> Ordering # (<) :: Axiom -> Axiom -> Bool # (<=) :: Axiom -> Axiom -> Bool # (>) :: Axiom -> Axiom -> Bool # (>=) :: Axiom -> Axiom -> Bool # max :: Axiom -> Axiom -> Axiom # min :: Axiom -> Axiom -> Axiom #

_Axiom :: Name Source #

_Axiom_annotationAxiom :: FieldName Source #

_Axiom_assertion :: FieldName Source #

_Axiom_classAxiom :: FieldName Source #

_Axiom_dataPropertyAxiom :: FieldName Source #

_Axiom_datatypeDefinition :: FieldName Source #

_Axiom_declaration :: FieldName Source #

_Axiom_hasKey :: FieldName Source #

_Axiom_objectPropertyAxiom :: FieldName Source #

data ClassAxiom Source #

Constructors

ClassAxiomDisjointClasses DisjointClasses
ClassAxiomDisjointUnion DisjointUnion
ClassAxiomEquivalentClasses EquivalentClasses
ClassAxiomSubClassOf SubClassOf

Instances

Instances details

Read ClassAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ClassAxiom # readList :: ReadS [ClassAxiom] # readPrec :: ReadPrec ClassAxiom # readListPrec :: ReadPrec [ClassAxiom] #
Show ClassAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ClassAxiom -> ShowS # show :: ClassAxiom -> String # showList :: [ClassAxiom] -> ShowS #
Eq ClassAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ClassAxiom -> ClassAxiom -> Bool # (/=) :: ClassAxiom -> ClassAxiom -> Bool #
Ord ClassAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ClassAxiom -> ClassAxiom -> Ordering # (<) :: ClassAxiom -> ClassAxiom -> Bool # (<=) :: ClassAxiom -> ClassAxiom -> Bool # (>) :: ClassAxiom -> ClassAxiom -> Bool # (>=) :: ClassAxiom -> ClassAxiom -> Bool # max :: ClassAxiom -> ClassAxiom -> ClassAxiom # min :: ClassAxiom -> ClassAxiom -> ClassAxiom #

_ClassAxiom :: Name Source #

_ClassAxiom_disjointClasses :: FieldName Source #

_ClassAxiom_disjointUnion :: FieldName Source #

_ClassAxiom_equivalentClasses :: FieldName Source #

_ClassAxiom_subClassOf :: FieldName Source #

data SubClassOf Source #

Constructors

SubClassOf
Fields subClassOfAnnotations :: [Annotation] subClassOfSubClass :: ClassExpression subClassOfSuperClass :: ClassExpression

Instances

Instances details

Read SubClassOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS SubClassOf # readList :: ReadS [SubClassOf] # readPrec :: ReadPrec SubClassOf # readListPrec :: ReadPrec [SubClassOf] #
Show SubClassOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> SubClassOf -> ShowS # show :: SubClassOf -> String # showList :: [SubClassOf] -> ShowS #
Eq SubClassOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: SubClassOf -> SubClassOf -> Bool # (/=) :: SubClassOf -> SubClassOf -> Bool #
Ord SubClassOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: SubClassOf -> SubClassOf -> Ordering # (<) :: SubClassOf -> SubClassOf -> Bool # (<=) :: SubClassOf -> SubClassOf -> Bool # (>) :: SubClassOf -> SubClassOf -> Bool # (>=) :: SubClassOf -> SubClassOf -> Bool # max :: SubClassOf -> SubClassOf -> SubClassOf # min :: SubClassOf -> SubClassOf -> SubClassOf #

_SubClassOf :: Name Source #

_SubClassOf_annotations :: FieldName Source #

_SubClassOf_subClass :: FieldName Source #

_SubClassOf_superClass :: FieldName Source #

data EquivalentClasses Source #

Constructors

EquivalentClasses
Fields equivalentClassesAnnotations :: [Annotation] equivalentClassesClasses :: [ClassExpression]

Instances

Instances details

Read EquivalentClasses Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS EquivalentClasses # readList :: ReadS [EquivalentClasses] # readPrec :: ReadPrec EquivalentClasses # readListPrec :: ReadPrec [EquivalentClasses] #
Show EquivalentClasses Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> EquivalentClasses -> ShowS # show :: EquivalentClasses -> String # showList :: [EquivalentClasses] -> ShowS #
Eq EquivalentClasses Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: EquivalentClasses -> EquivalentClasses -> Bool # (/=) :: EquivalentClasses -> EquivalentClasses -> Bool #
Ord EquivalentClasses Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: EquivalentClasses -> EquivalentClasses -> Ordering # (<) :: EquivalentClasses -> EquivalentClasses -> Bool # (<=) :: EquivalentClasses -> EquivalentClasses -> Bool # (>) :: EquivalentClasses -> EquivalentClasses -> Bool # (>=) :: EquivalentClasses -> EquivalentClasses -> Bool # max :: EquivalentClasses -> EquivalentClasses -> EquivalentClasses # min :: EquivalentClasses -> EquivalentClasses -> EquivalentClasses #

_EquivalentClasses :: Name Source #

_EquivalentClasses_annotations :: FieldName Source #

_EquivalentClasses_classes :: FieldName Source #

data DisjointClasses Source #

Constructors

DisjointClasses
Fields disjointClassesAnnotations :: [Annotation] disjointClassesClasses :: [ClassExpression]

Instances

Instances details

Read DisjointClasses Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DisjointClasses # readList :: ReadS [DisjointClasses] # readPrec :: ReadPrec DisjointClasses # readListPrec :: ReadPrec [DisjointClasses] #
Show DisjointClasses Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DisjointClasses -> ShowS # show :: DisjointClasses -> String # showList :: [DisjointClasses] -> ShowS #
Eq DisjointClasses Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DisjointClasses -> DisjointClasses -> Bool # (/=) :: DisjointClasses -> DisjointClasses -> Bool #
Ord DisjointClasses Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DisjointClasses -> DisjointClasses -> Ordering # (<) :: DisjointClasses -> DisjointClasses -> Bool # (<=) :: DisjointClasses -> DisjointClasses -> Bool # (>) :: DisjointClasses -> DisjointClasses -> Bool # (>=) :: DisjointClasses -> DisjointClasses -> Bool # max :: DisjointClasses -> DisjointClasses -> DisjointClasses # min :: DisjointClasses -> DisjointClasses -> DisjointClasses #

_DisjointClasses :: Name Source #

_DisjointClasses_annotations :: FieldName Source #

_DisjointClasses_classes :: FieldName Source #

data DisjointUnion Source #

See https://www.w3.org/TR/owl2-syntax/#Disjoint_Union_of_Class_Expressions

Constructors

DisjointUnion
Fields disjointUnionAnnotations :: [Annotation] disjointUnionClass :: Class disjointUnionClasses :: [ClassExpression]

Instances

Instances details

Read DisjointUnion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DisjointUnion # readList :: ReadS [DisjointUnion] # readPrec :: ReadPrec DisjointUnion # readListPrec :: ReadPrec [DisjointUnion] #
Show DisjointUnion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DisjointUnion -> ShowS # show :: DisjointUnion -> String # showList :: [DisjointUnion] -> ShowS #
Eq DisjointUnion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DisjointUnion -> DisjointUnion -> Bool # (/=) :: DisjointUnion -> DisjointUnion -> Bool #
Ord DisjointUnion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DisjointUnion -> DisjointUnion -> Ordering # (<) :: DisjointUnion -> DisjointUnion -> Bool # (<=) :: DisjointUnion -> DisjointUnion -> Bool # (>) :: DisjointUnion -> DisjointUnion -> Bool # (>=) :: DisjointUnion -> DisjointUnion -> Bool # max :: DisjointUnion -> DisjointUnion -> DisjointUnion # min :: DisjointUnion -> DisjointUnion -> DisjointUnion #

_DisjointUnion :: Name Source #

_DisjointUnion_annotations :: FieldName Source #

_DisjointUnion_class :: FieldName Source #

_DisjointUnion_classes :: FieldName Source #

data ObjectPropertyAxiom Source #

Constructors

ObjectPropertyAxiomAsymmetricObjectProperty AsymmetricObjectProperty
ObjectPropertyAxiomDisjointObjectProperties DisjointObjectProperties
ObjectPropertyAxiomEquivalentObjectProperties EquivalentObjectProperties
ObjectPropertyAxiomFunctionalObjectProperty FunctionalObjectProperty
ObjectPropertyAxiomInverseFunctionalObjectProperty InverseFunctionalObjectProperty
ObjectPropertyAxiomInverseObjectProperties InverseObjectProperties
ObjectPropertyAxiomIrreflexiveObjectProperty IrreflexiveObjectProperty
ObjectPropertyAxiomObjectPropertyDomain ObjectPropertyDomain
ObjectPropertyAxiomObjectPropertyRange ObjectPropertyRange
ObjectPropertyAxiomReflexiveObjectProperty ReflexiveObjectProperty
ObjectPropertyAxiomSubObjectPropertyOf SubObjectPropertyOf
ObjectPropertyAxiomSymmetricObjectProperty SymmetricObjectProperty
ObjectPropertyAxiomTransitiveObjectProperty TransitiveObjectProperty

Instances

Instances details

Read ObjectPropertyAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectPropertyAxiom # readList :: ReadS [ObjectPropertyAxiom] # readPrec :: ReadPrec ObjectPropertyAxiom # readListPrec :: ReadPrec [ObjectPropertyAxiom] #
Show ObjectPropertyAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectPropertyAxiom -> ShowS # show :: ObjectPropertyAxiom -> String # showList :: [ObjectPropertyAxiom] -> ShowS #
Eq ObjectPropertyAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> Bool # (/=) :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> Bool #
Ord ObjectPropertyAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> Ordering # (<) :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> Bool # (<=) :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> Bool # (>) :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> Bool # (>=) :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> Bool # max :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> ObjectPropertyAxiom # min :: ObjectPropertyAxiom -> ObjectPropertyAxiom -> ObjectPropertyAxiom #

_ObjectPropertyAxiom :: Name Source #

_ObjectPropertyAxiom_asymmetricObjectProperty :: FieldName Source #

_ObjectPropertyAxiom_disjointObjectProperties :: FieldName Source #

_ObjectPropertyAxiom_equivalentObjectProperties :: FieldName Source #

_ObjectPropertyAxiom_functionalObjectProperty :: FieldName Source #

_ObjectPropertyAxiom_inverseFunctionalObjectProperty :: FieldName Source #

_ObjectPropertyAxiom_inverseObjectProperties :: FieldName Source #

_ObjectPropertyAxiom_irreflexiveObjectProperty :: FieldName Source #

_ObjectPropertyAxiom_objectPropertyDomain :: FieldName Source #

_ObjectPropertyAxiom_objectPropertyRange :: FieldName Source #

_ObjectPropertyAxiom_reflexiveObjectProperty :: FieldName Source #

_ObjectPropertyAxiom_subObjectPropertyOf :: FieldName Source #

_ObjectPropertyAxiom_symmetricObjectProperty :: FieldName Source #

_ObjectPropertyAxiom_transitiveObjectProperty :: FieldName Source #

data SubObjectPropertyOf Source #

Constructors

SubObjectPropertyOf
Fields subObjectPropertyOfAnnotations :: [Annotation] subObjectPropertyOfSubProperty :: [ObjectPropertyExpression] subObjectPropertyOfSuperProperty :: ObjectPropertyExpression

Instances

Instances details

Read SubObjectPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS SubObjectPropertyOf # readList :: ReadS [SubObjectPropertyOf] # readPrec :: ReadPrec SubObjectPropertyOf # readListPrec :: ReadPrec [SubObjectPropertyOf] #
Show SubObjectPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> SubObjectPropertyOf -> ShowS # show :: SubObjectPropertyOf -> String # showList :: [SubObjectPropertyOf] -> ShowS #
Eq SubObjectPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: SubObjectPropertyOf -> SubObjectPropertyOf -> Bool # (/=) :: SubObjectPropertyOf -> SubObjectPropertyOf -> Bool #
Ord SubObjectPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: SubObjectPropertyOf -> SubObjectPropertyOf -> Ordering # (<) :: SubObjectPropertyOf -> SubObjectPropertyOf -> Bool # (<=) :: SubObjectPropertyOf -> SubObjectPropertyOf -> Bool # (>) :: SubObjectPropertyOf -> SubObjectPropertyOf -> Bool # (>=) :: SubObjectPropertyOf -> SubObjectPropertyOf -> Bool # max :: SubObjectPropertyOf -> SubObjectPropertyOf -> SubObjectPropertyOf # min :: SubObjectPropertyOf -> SubObjectPropertyOf -> SubObjectPropertyOf #

_SubObjectPropertyOf :: Name Source #

_SubObjectPropertyOf_annotations :: FieldName Source #

_SubObjectPropertyOf_subProperty :: FieldName Source #

_SubObjectPropertyOf_superProperty :: FieldName Source #

data EquivalentObjectProperties Source #

Constructors

EquivalentObjectProperties
Fields equivalentObjectPropertiesAnnotations :: [Annotation] equivalentObjectPropertiesProperties :: [ObjectPropertyExpression]

Instances

Instances details

Read EquivalentObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS EquivalentObjectProperties # readList :: ReadS [EquivalentObjectProperties] # readPrec :: ReadPrec EquivalentObjectProperties # readListPrec :: ReadPrec [EquivalentObjectProperties] #
Show EquivalentObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> EquivalentObjectProperties -> ShowS # show :: EquivalentObjectProperties -> String # showList :: [EquivalentObjectProperties] -> ShowS #
Eq EquivalentObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: EquivalentObjectProperties -> EquivalentObjectProperties -> Bool # (/=) :: EquivalentObjectProperties -> EquivalentObjectProperties -> Bool #
Ord EquivalentObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: EquivalentObjectProperties -> EquivalentObjectProperties -> Ordering # (<) :: EquivalentObjectProperties -> EquivalentObjectProperties -> Bool # (<=) :: EquivalentObjectProperties -> EquivalentObjectProperties -> Bool # (>) :: EquivalentObjectProperties -> EquivalentObjectProperties -> Bool # (>=) :: EquivalentObjectProperties -> EquivalentObjectProperties -> Bool # max :: EquivalentObjectProperties -> EquivalentObjectProperties -> EquivalentObjectProperties # min :: EquivalentObjectProperties -> EquivalentObjectProperties -> EquivalentObjectProperties #

_EquivalentObjectProperties :: Name Source #

_EquivalentObjectProperties_annotations :: FieldName Source #

_EquivalentObjectProperties_properties :: FieldName Source #

data DisjointObjectProperties Source #

Constructors

DisjointObjectProperties
Fields disjointObjectPropertiesAnnotations :: [Annotation] disjointObjectPropertiesProperties :: [ObjectPropertyExpression]

Instances

Instances details

Read DisjointObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DisjointObjectProperties # readList :: ReadS [DisjointObjectProperties] # readPrec :: ReadPrec DisjointObjectProperties # readListPrec :: ReadPrec [DisjointObjectProperties] #
Show DisjointObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DisjointObjectProperties -> ShowS # show :: DisjointObjectProperties -> String # showList :: [DisjointObjectProperties] -> ShowS #
Eq DisjointObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DisjointObjectProperties -> DisjointObjectProperties -> Bool # (/=) :: DisjointObjectProperties -> DisjointObjectProperties -> Bool #
Ord DisjointObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DisjointObjectProperties -> DisjointObjectProperties -> Ordering # (<) :: DisjointObjectProperties -> DisjointObjectProperties -> Bool # (<=) :: DisjointObjectProperties -> DisjointObjectProperties -> Bool # (>) :: DisjointObjectProperties -> DisjointObjectProperties -> Bool # (>=) :: DisjointObjectProperties -> DisjointObjectProperties -> Bool # max :: DisjointObjectProperties -> DisjointObjectProperties -> DisjointObjectProperties # min :: DisjointObjectProperties -> DisjointObjectProperties -> DisjointObjectProperties #

_DisjointObjectProperties :: Name Source #

_DisjointObjectProperties_annotations :: FieldName Source #

_DisjointObjectProperties_properties :: FieldName Source #

data ObjectPropertyDomain Source #

See https://www.w3.org/TR/owl2-syntax/#Object_Property_Domain

Constructors

ObjectPropertyDomain
Fields objectPropertyDomainAnnotations :: [Annotation] objectPropertyDomainProperty :: ObjectPropertyExpression objectPropertyDomainDomain :: ClassExpression

Instances

Instances details

Read ObjectPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectPropertyDomain # readList :: ReadS [ObjectPropertyDomain] # readPrec :: ReadPrec ObjectPropertyDomain # readListPrec :: ReadPrec [ObjectPropertyDomain] #
Show ObjectPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectPropertyDomain -> ShowS # show :: ObjectPropertyDomain -> String # showList :: [ObjectPropertyDomain] -> ShowS #
Eq ObjectPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectPropertyDomain -> ObjectPropertyDomain -> Bool # (/=) :: ObjectPropertyDomain -> ObjectPropertyDomain -> Bool #
Ord ObjectPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectPropertyDomain -> ObjectPropertyDomain -> Ordering # (<) :: ObjectPropertyDomain -> ObjectPropertyDomain -> Bool # (<=) :: ObjectPropertyDomain -> ObjectPropertyDomain -> Bool # (>) :: ObjectPropertyDomain -> ObjectPropertyDomain -> Bool # (>=) :: ObjectPropertyDomain -> ObjectPropertyDomain -> Bool # max :: ObjectPropertyDomain -> ObjectPropertyDomain -> ObjectPropertyDomain # min :: ObjectPropertyDomain -> ObjectPropertyDomain -> ObjectPropertyDomain #

_ObjectPropertyDomain :: Name Source #

_ObjectPropertyDomain_annotations :: FieldName Source #

_ObjectPropertyDomain_property :: FieldName Source #

_ObjectPropertyDomain_domain :: FieldName Source #

data ObjectPropertyRange Source #

See https://www.w3.org/TR/owl2-syntax/#Object_Property_Range

Constructors

ObjectPropertyRange
Fields objectPropertyRangeAnnotations :: [Annotation] objectPropertyRangeProperty :: ObjectPropertyExpression objectPropertyRangeRange :: ClassExpression

Instances

Instances details

Read ObjectPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectPropertyRange # readList :: ReadS [ObjectPropertyRange] # readPrec :: ReadPrec ObjectPropertyRange # readListPrec :: ReadPrec [ObjectPropertyRange] #
Show ObjectPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectPropertyRange -> ShowS # show :: ObjectPropertyRange -> String # showList :: [ObjectPropertyRange] -> ShowS #
Eq ObjectPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectPropertyRange -> ObjectPropertyRange -> Bool # (/=) :: ObjectPropertyRange -> ObjectPropertyRange -> Bool #
Ord ObjectPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectPropertyRange -> ObjectPropertyRange -> Ordering # (<) :: ObjectPropertyRange -> ObjectPropertyRange -> Bool # (<=) :: ObjectPropertyRange -> ObjectPropertyRange -> Bool # (>) :: ObjectPropertyRange -> ObjectPropertyRange -> Bool # (>=) :: ObjectPropertyRange -> ObjectPropertyRange -> Bool # max :: ObjectPropertyRange -> ObjectPropertyRange -> ObjectPropertyRange # min :: ObjectPropertyRange -> ObjectPropertyRange -> ObjectPropertyRange #

_ObjectPropertyRange :: Name Source #

_ObjectPropertyRange_annotations :: FieldName Source #

_ObjectPropertyRange_property :: FieldName Source #

_ObjectPropertyRange_range :: FieldName Source #

data InverseObjectProperties Source #

Constructors

InverseObjectProperties
Fields inverseObjectPropertiesAnnotations :: [Annotation] inverseObjectPropertiesProperty1 :: ObjectPropertyExpression inverseObjectPropertiesProperty2 :: ObjectPropertyExpression

Instances

Instances details

Read InverseObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS InverseObjectProperties # readList :: ReadS [InverseObjectProperties] # readPrec :: ReadPrec InverseObjectProperties # readListPrec :: ReadPrec [InverseObjectProperties] #
Show InverseObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> InverseObjectProperties -> ShowS # show :: InverseObjectProperties -> String # showList :: [InverseObjectProperties] -> ShowS #
Eq InverseObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: InverseObjectProperties -> InverseObjectProperties -> Bool # (/=) :: InverseObjectProperties -> InverseObjectProperties -> Bool #
Ord InverseObjectProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: InverseObjectProperties -> InverseObjectProperties -> Ordering # (<) :: InverseObjectProperties -> InverseObjectProperties -> Bool # (<=) :: InverseObjectProperties -> InverseObjectProperties -> Bool # (>) :: InverseObjectProperties -> InverseObjectProperties -> Bool # (>=) :: InverseObjectProperties -> InverseObjectProperties -> Bool # max :: InverseObjectProperties -> InverseObjectProperties -> InverseObjectProperties # min :: InverseObjectProperties -> InverseObjectProperties -> InverseObjectProperties #

_InverseObjectProperties :: Name Source #

_InverseObjectProperties_annotations :: FieldName Source #

_InverseObjectProperties_property1 :: FieldName Source #

_InverseObjectProperties_property2 :: FieldName Source #

data FunctionalObjectProperty Source #

Constructors

FunctionalObjectProperty
Fields functionalObjectPropertyAnnotations :: [Annotation] functionalObjectPropertyProperty :: ObjectPropertyExpression

Instances

Instances details

Read FunctionalObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS FunctionalObjectProperty # readList :: ReadS [FunctionalObjectProperty] # readPrec :: ReadPrec FunctionalObjectProperty # readListPrec :: ReadPrec [FunctionalObjectProperty] #
Show FunctionalObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> FunctionalObjectProperty -> ShowS # show :: FunctionalObjectProperty -> String # showList :: [FunctionalObjectProperty] -> ShowS #
Eq FunctionalObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: FunctionalObjectProperty -> FunctionalObjectProperty -> Bool # (/=) :: FunctionalObjectProperty -> FunctionalObjectProperty -> Bool #
Ord FunctionalObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: FunctionalObjectProperty -> FunctionalObjectProperty -> Ordering # (<) :: FunctionalObjectProperty -> FunctionalObjectProperty -> Bool # (<=) :: FunctionalObjectProperty -> FunctionalObjectProperty -> Bool # (>) :: FunctionalObjectProperty -> FunctionalObjectProperty -> Bool # (>=) :: FunctionalObjectProperty -> FunctionalObjectProperty -> Bool # max :: FunctionalObjectProperty -> FunctionalObjectProperty -> FunctionalObjectProperty # min :: FunctionalObjectProperty -> FunctionalObjectProperty -> FunctionalObjectProperty #

_FunctionalObjectProperty :: Name Source #

_FunctionalObjectProperty_annotations :: FieldName Source #

_FunctionalObjectProperty_property :: FieldName Source #

data InverseFunctionalObjectProperty Source #

Constructors

InverseFunctionalObjectProperty
Fields inverseFunctionalObjectPropertyAnnotations :: [Annotation] inverseFunctionalObjectPropertyProperty :: ObjectPropertyExpression

Instances

Instances details

Read InverseFunctionalObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS InverseFunctionalObjectProperty # readList :: ReadS [InverseFunctionalObjectProperty] # readPrec :: ReadPrec InverseFunctionalObjectProperty # readListPrec :: ReadPrec [InverseFunctionalObjectProperty] #
Show InverseFunctionalObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> InverseFunctionalObjectProperty -> ShowS # show :: InverseFunctionalObjectProperty -> String # showList :: [InverseFunctionalObjectProperty] -> ShowS #
Eq InverseFunctionalObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> Bool # (/=) :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> Bool #
Ord InverseFunctionalObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> Ordering # (<) :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> Bool # (<=) :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> Bool # (>) :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> Bool # (>=) :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> Bool # max :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty # min :: InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty -> InverseFunctionalObjectProperty #

_InverseFunctionalObjectProperty :: Name Source #

_InverseFunctionalObjectProperty_annotations :: FieldName Source #

_InverseFunctionalObjectProperty_property :: FieldName Source #

data ReflexiveObjectProperty Source #

Constructors

ReflexiveObjectProperty
Fields reflexiveObjectPropertyAnnotations :: [Annotation] reflexiveObjectPropertyProperty :: ObjectPropertyExpression

Instances

Instances details

Read ReflexiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ReflexiveObjectProperty # readList :: ReadS [ReflexiveObjectProperty] # readPrec :: ReadPrec ReflexiveObjectProperty # readListPrec :: ReadPrec [ReflexiveObjectProperty] #
Show ReflexiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ReflexiveObjectProperty -> ShowS # show :: ReflexiveObjectProperty -> String # showList :: [ReflexiveObjectProperty] -> ShowS #
Eq ReflexiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> Bool # (/=) :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> Bool #
Ord ReflexiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> Ordering # (<) :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> Bool # (<=) :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> Bool # (>) :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> Bool # (>=) :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> Bool # max :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> ReflexiveObjectProperty # min :: ReflexiveObjectProperty -> ReflexiveObjectProperty -> ReflexiveObjectProperty #

_ReflexiveObjectProperty :: Name Source #

_ReflexiveObjectProperty_annotations :: FieldName Source #

_ReflexiveObjectProperty_property :: FieldName Source #

data IrreflexiveObjectProperty Source #

Constructors

IrreflexiveObjectProperty
Fields irreflexiveObjectPropertyAnnotations :: [Annotation] irreflexiveObjectPropertyProperty :: ObjectPropertyExpression

Instances

Instances details

Read IrreflexiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS IrreflexiveObjectProperty # readList :: ReadS [IrreflexiveObjectProperty] # readPrec :: ReadPrec IrreflexiveObjectProperty # readListPrec :: ReadPrec [IrreflexiveObjectProperty] #
Show IrreflexiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> IrreflexiveObjectProperty -> ShowS # show :: IrreflexiveObjectProperty -> String # showList :: [IrreflexiveObjectProperty] -> ShowS #
Eq IrreflexiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> Bool # (/=) :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> Bool #
Ord IrreflexiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> Ordering # (<) :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> Bool # (<=) :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> Bool # (>) :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> Bool # (>=) :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> Bool # max :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> IrreflexiveObjectProperty # min :: IrreflexiveObjectProperty -> IrreflexiveObjectProperty -> IrreflexiveObjectProperty #

_IrreflexiveObjectProperty :: Name Source #

_IrreflexiveObjectProperty_annotations :: FieldName Source #

_IrreflexiveObjectProperty_property :: FieldName Source #

data SymmetricObjectProperty Source #

Constructors

SymmetricObjectProperty
Fields symmetricObjectPropertyAnnotations :: [Annotation] symmetricObjectPropertyProperty :: ObjectPropertyExpression

Instances

Instances details

Read SymmetricObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS SymmetricObjectProperty # readList :: ReadS [SymmetricObjectProperty] # readPrec :: ReadPrec SymmetricObjectProperty # readListPrec :: ReadPrec [SymmetricObjectProperty] #
Show SymmetricObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> SymmetricObjectProperty -> ShowS # show :: SymmetricObjectProperty -> String # showList :: [SymmetricObjectProperty] -> ShowS #
Eq SymmetricObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: SymmetricObjectProperty -> SymmetricObjectProperty -> Bool # (/=) :: SymmetricObjectProperty -> SymmetricObjectProperty -> Bool #
Ord SymmetricObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: SymmetricObjectProperty -> SymmetricObjectProperty -> Ordering # (<) :: SymmetricObjectProperty -> SymmetricObjectProperty -> Bool # (<=) :: SymmetricObjectProperty -> SymmetricObjectProperty -> Bool # (>) :: SymmetricObjectProperty -> SymmetricObjectProperty -> Bool # (>=) :: SymmetricObjectProperty -> SymmetricObjectProperty -> Bool # max :: SymmetricObjectProperty -> SymmetricObjectProperty -> SymmetricObjectProperty # min :: SymmetricObjectProperty -> SymmetricObjectProperty -> SymmetricObjectProperty #

_SymmetricObjectProperty :: Name Source #

_SymmetricObjectProperty_annotations :: FieldName Source #

_SymmetricObjectProperty_property :: FieldName Source #

data AsymmetricObjectProperty Source #

Constructors

AsymmetricObjectProperty
Fields asymmetricObjectPropertyAnnotations :: [Annotation] asymmetricObjectPropertyProperty :: ObjectPropertyExpression

Instances

Instances details

Read AsymmetricObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS AsymmetricObjectProperty # readList :: ReadS [AsymmetricObjectProperty] # readPrec :: ReadPrec AsymmetricObjectProperty # readListPrec :: ReadPrec [AsymmetricObjectProperty] #
Show AsymmetricObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> AsymmetricObjectProperty -> ShowS # show :: AsymmetricObjectProperty -> String # showList :: [AsymmetricObjectProperty] -> ShowS #
Eq AsymmetricObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> Bool # (/=) :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> Bool #
Ord AsymmetricObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> Ordering # (<) :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> Bool # (<=) :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> Bool # (>) :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> Bool # (>=) :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> Bool # max :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> AsymmetricObjectProperty # min :: AsymmetricObjectProperty -> AsymmetricObjectProperty -> AsymmetricObjectProperty #

_AsymmetricObjectProperty :: Name Source #

_AsymmetricObjectProperty_annotations :: FieldName Source #

_AsymmetricObjectProperty_property :: FieldName Source #

data TransitiveObjectProperty Source #

Constructors

TransitiveObjectProperty
Fields transitiveObjectPropertyAnnotations :: [Annotation] transitiveObjectPropertyProperty :: ObjectPropertyExpression

Instances

Instances details

Read TransitiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS TransitiveObjectProperty # readList :: ReadS [TransitiveObjectProperty] # readPrec :: ReadPrec TransitiveObjectProperty # readListPrec :: ReadPrec [TransitiveObjectProperty] #
Show TransitiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> TransitiveObjectProperty -> ShowS # show :: TransitiveObjectProperty -> String # showList :: [TransitiveObjectProperty] -> ShowS #
Eq TransitiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: TransitiveObjectProperty -> TransitiveObjectProperty -> Bool # (/=) :: TransitiveObjectProperty -> TransitiveObjectProperty -> Bool #
Ord TransitiveObjectProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: TransitiveObjectProperty -> TransitiveObjectProperty -> Ordering # (<) :: TransitiveObjectProperty -> TransitiveObjectProperty -> Bool # (<=) :: TransitiveObjectProperty -> TransitiveObjectProperty -> Bool # (>) :: TransitiveObjectProperty -> TransitiveObjectProperty -> Bool # (>=) :: TransitiveObjectProperty -> TransitiveObjectProperty -> Bool # max :: TransitiveObjectProperty -> TransitiveObjectProperty -> TransitiveObjectProperty # min :: TransitiveObjectProperty -> TransitiveObjectProperty -> TransitiveObjectProperty #

_TransitiveObjectProperty :: Name Source #

_TransitiveObjectProperty_annotations :: FieldName Source #

_TransitiveObjectProperty_property :: FieldName Source #

data DataPropertyAxiom Source #

Constructors

DataPropertyAxiomDataPropertyAxiom DataPropertyAxiom
DataPropertyAxiomDataPropertyRange DataPropertyRange
DataPropertyAxiomDisjointDataProperties DisjointDataProperties
DataPropertyAxiomEquivalentDataProperties EquivalentDataProperties
DataPropertyAxiomFunctionalDataProperty FunctionalDataProperty
DataPropertyAxiomSubDataPropertyOf SubDataPropertyOf

Instances

Instances details

Read DataPropertyAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataPropertyAxiom # readList :: ReadS [DataPropertyAxiom] # readPrec :: ReadPrec DataPropertyAxiom # readListPrec :: ReadPrec [DataPropertyAxiom] #
Show DataPropertyAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataPropertyAxiom -> ShowS # show :: DataPropertyAxiom -> String # showList :: [DataPropertyAxiom] -> ShowS #
Eq DataPropertyAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataPropertyAxiom -> DataPropertyAxiom -> Bool # (/=) :: DataPropertyAxiom -> DataPropertyAxiom -> Bool #
Ord DataPropertyAxiom Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataPropertyAxiom -> DataPropertyAxiom -> Ordering # (<) :: DataPropertyAxiom -> DataPropertyAxiom -> Bool # (<=) :: DataPropertyAxiom -> DataPropertyAxiom -> Bool # (>) :: DataPropertyAxiom -> DataPropertyAxiom -> Bool # (>=) :: DataPropertyAxiom -> DataPropertyAxiom -> Bool # max :: DataPropertyAxiom -> DataPropertyAxiom -> DataPropertyAxiom # min :: DataPropertyAxiom -> DataPropertyAxiom -> DataPropertyAxiom #

_DataPropertyAxiom :: Name Source #

_DataPropertyAxiom_dataPropertyAxiom :: FieldName Source #

_DataPropertyAxiom_dataPropertyRange :: FieldName Source #

_DataPropertyAxiom_disjointDataProperties :: FieldName Source #

_DataPropertyAxiom_equivalentDataProperties :: FieldName Source #

_DataPropertyAxiom_functionalDataProperty :: FieldName Source #

_DataPropertyAxiom_subDataPropertyOf :: FieldName Source #

data SubDataPropertyOf Source #

Constructors

SubDataPropertyOf
Fields subDataPropertyOfAnnotations :: [Annotation] subDataPropertyOfSubProperty :: DataPropertyExpression subDataPropertyOfSuperProperty :: DataPropertyExpression

Instances

Instances details

Read SubDataPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS SubDataPropertyOf # readList :: ReadS [SubDataPropertyOf] # readPrec :: ReadPrec SubDataPropertyOf # readListPrec :: ReadPrec [SubDataPropertyOf] #
Show SubDataPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> SubDataPropertyOf -> ShowS # show :: SubDataPropertyOf -> String # showList :: [SubDataPropertyOf] -> ShowS #
Eq SubDataPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: SubDataPropertyOf -> SubDataPropertyOf -> Bool # (/=) :: SubDataPropertyOf -> SubDataPropertyOf -> Bool #
Ord SubDataPropertyOf Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: SubDataPropertyOf -> SubDataPropertyOf -> Ordering # (<) :: SubDataPropertyOf -> SubDataPropertyOf -> Bool # (<=) :: SubDataPropertyOf -> SubDataPropertyOf -> Bool # (>) :: SubDataPropertyOf -> SubDataPropertyOf -> Bool # (>=) :: SubDataPropertyOf -> SubDataPropertyOf -> Bool # max :: SubDataPropertyOf -> SubDataPropertyOf -> SubDataPropertyOf # min :: SubDataPropertyOf -> SubDataPropertyOf -> SubDataPropertyOf #

_SubDataPropertyOf :: Name Source #

_SubDataPropertyOf_annotations :: FieldName Source #

_SubDataPropertyOf_subProperty :: FieldName Source #

_SubDataPropertyOf_superProperty :: FieldName Source #

data EquivalentDataProperties Source #

Constructors

EquivalentDataProperties
Fields equivalentDataPropertiesAnnotations :: [Annotation] equivalentDataPropertiesProperties :: [DataPropertyExpression]

Instances

Instances details

Read EquivalentDataProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS EquivalentDataProperties # readList :: ReadS [EquivalentDataProperties] # readPrec :: ReadPrec EquivalentDataProperties # readListPrec :: ReadPrec [EquivalentDataProperties] #
Show EquivalentDataProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> EquivalentDataProperties -> ShowS # show :: EquivalentDataProperties -> String # showList :: [EquivalentDataProperties] -> ShowS #
Eq EquivalentDataProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: EquivalentDataProperties -> EquivalentDataProperties -> Bool # (/=) :: EquivalentDataProperties -> EquivalentDataProperties -> Bool #
Ord EquivalentDataProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: EquivalentDataProperties -> EquivalentDataProperties -> Ordering # (<) :: EquivalentDataProperties -> EquivalentDataProperties -> Bool # (<=) :: EquivalentDataProperties -> EquivalentDataProperties -> Bool # (>) :: EquivalentDataProperties -> EquivalentDataProperties -> Bool # (>=) :: EquivalentDataProperties -> EquivalentDataProperties -> Bool # max :: EquivalentDataProperties -> EquivalentDataProperties -> EquivalentDataProperties # min :: EquivalentDataProperties -> EquivalentDataProperties -> EquivalentDataProperties #

_EquivalentDataProperties :: Name Source #

_EquivalentDataProperties_annotations :: FieldName Source #

_EquivalentDataProperties_properties :: FieldName Source #

data DisjointDataProperties Source #

Constructors

DisjointDataProperties
Fields disjointDataPropertiesAnnotations :: [Annotation] disjointDataPropertiesProperties :: [DataPropertyExpression]

Instances

Instances details

Read DisjointDataProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DisjointDataProperties # readList :: ReadS [DisjointDataProperties] # readPrec :: ReadPrec DisjointDataProperties # readListPrec :: ReadPrec [DisjointDataProperties] #
Show DisjointDataProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DisjointDataProperties -> ShowS # show :: DisjointDataProperties -> String # showList :: [DisjointDataProperties] -> ShowS #
Eq DisjointDataProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DisjointDataProperties -> DisjointDataProperties -> Bool # (/=) :: DisjointDataProperties -> DisjointDataProperties -> Bool #
Ord DisjointDataProperties Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DisjointDataProperties -> DisjointDataProperties -> Ordering # (<) :: DisjointDataProperties -> DisjointDataProperties -> Bool # (<=) :: DisjointDataProperties -> DisjointDataProperties -> Bool # (>) :: DisjointDataProperties -> DisjointDataProperties -> Bool # (>=) :: DisjointDataProperties -> DisjointDataProperties -> Bool # max :: DisjointDataProperties -> DisjointDataProperties -> DisjointDataProperties # min :: DisjointDataProperties -> DisjointDataProperties -> DisjointDataProperties #

_DisjointDataProperties :: Name Source #

_DisjointDataProperties_annotations :: FieldName Source #

_DisjointDataProperties_properties :: FieldName Source #

data DataPropertyDomain Source #

Constructors

DataPropertyDomain
Fields dataPropertyDomainAnnotations :: [Annotation] dataPropertyDomainProperty :: DataPropertyExpression dataPropertyDomainDomain :: ClassExpression

Instances

Instances details

Read DataPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataPropertyDomain # readList :: ReadS [DataPropertyDomain] # readPrec :: ReadPrec DataPropertyDomain # readListPrec :: ReadPrec [DataPropertyDomain] #
Show DataPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataPropertyDomain -> ShowS # show :: DataPropertyDomain -> String # showList :: [DataPropertyDomain] -> ShowS #
Eq DataPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataPropertyDomain -> DataPropertyDomain -> Bool # (/=) :: DataPropertyDomain -> DataPropertyDomain -> Bool #
Ord DataPropertyDomain Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataPropertyDomain -> DataPropertyDomain -> Ordering # (<) :: DataPropertyDomain -> DataPropertyDomain -> Bool # (<=) :: DataPropertyDomain -> DataPropertyDomain -> Bool # (>) :: DataPropertyDomain -> DataPropertyDomain -> Bool # (>=) :: DataPropertyDomain -> DataPropertyDomain -> Bool # max :: DataPropertyDomain -> DataPropertyDomain -> DataPropertyDomain # min :: DataPropertyDomain -> DataPropertyDomain -> DataPropertyDomain #

_DataPropertyDomain :: Name Source #

_DataPropertyDomain_annotations :: FieldName Source #

_DataPropertyDomain_property :: FieldName Source #

_DataPropertyDomain_domain :: FieldName Source #

data DataPropertyRange Source #

Constructors

DataPropertyRange
Fields dataPropertyRangeAnnotations :: [Annotation] dataPropertyRangeProperty :: DataPropertyExpression dataPropertyRangeRange :: ClassExpression

Instances

Instances details

Read DataPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataPropertyRange # readList :: ReadS [DataPropertyRange] # readPrec :: ReadPrec DataPropertyRange # readListPrec :: ReadPrec [DataPropertyRange] #
Show DataPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataPropertyRange -> ShowS # show :: DataPropertyRange -> String # showList :: [DataPropertyRange] -> ShowS #
Eq DataPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataPropertyRange -> DataPropertyRange -> Bool # (/=) :: DataPropertyRange -> DataPropertyRange -> Bool #
Ord DataPropertyRange Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataPropertyRange -> DataPropertyRange -> Ordering # (<) :: DataPropertyRange -> DataPropertyRange -> Bool # (<=) :: DataPropertyRange -> DataPropertyRange -> Bool # (>) :: DataPropertyRange -> DataPropertyRange -> Bool # (>=) :: DataPropertyRange -> DataPropertyRange -> Bool # max :: DataPropertyRange -> DataPropertyRange -> DataPropertyRange # min :: DataPropertyRange -> DataPropertyRange -> DataPropertyRange #

_DataPropertyRange :: Name Source #

_DataPropertyRange_annotations :: FieldName Source #

_DataPropertyRange_property :: FieldName Source #

_DataPropertyRange_range :: FieldName Source #

data FunctionalDataProperty Source #

Constructors

FunctionalDataProperty
Fields functionalDataPropertyAnnotations :: [Annotation] functionalDataPropertyProperty :: DataPropertyExpression

Instances

Instances details

Read FunctionalDataProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS FunctionalDataProperty # readList :: ReadS [FunctionalDataProperty] # readPrec :: ReadPrec FunctionalDataProperty # readListPrec :: ReadPrec [FunctionalDataProperty] #
Show FunctionalDataProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> FunctionalDataProperty -> ShowS # show :: FunctionalDataProperty -> String # showList :: [FunctionalDataProperty] -> ShowS #
Eq FunctionalDataProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: FunctionalDataProperty -> FunctionalDataProperty -> Bool # (/=) :: FunctionalDataProperty -> FunctionalDataProperty -> Bool #
Ord FunctionalDataProperty Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: FunctionalDataProperty -> FunctionalDataProperty -> Ordering # (<) :: FunctionalDataProperty -> FunctionalDataProperty -> Bool # (<=) :: FunctionalDataProperty -> FunctionalDataProperty -> Bool # (>) :: FunctionalDataProperty -> FunctionalDataProperty -> Bool # (>=) :: FunctionalDataProperty -> FunctionalDataProperty -> Bool # max :: FunctionalDataProperty -> FunctionalDataProperty -> FunctionalDataProperty # min :: FunctionalDataProperty -> FunctionalDataProperty -> FunctionalDataProperty #

_FunctionalDataProperty :: Name Source #

_FunctionalDataProperty_annotations :: FieldName Source #

_FunctionalDataProperty_property :: FieldName Source #

data DatatypeDefinition Source #

Constructors

DatatypeDefinition
Fields datatypeDefinitionAnnotations :: [Annotation] datatypeDefinitionDatatype :: Datatype datatypeDefinitionRange :: DataRange

Instances

Instances details

Read DatatypeDefinition Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DatatypeDefinition # readList :: ReadS [DatatypeDefinition] # readPrec :: ReadPrec DatatypeDefinition # readListPrec :: ReadPrec [DatatypeDefinition] #
Show DatatypeDefinition Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DatatypeDefinition -> ShowS # show :: DatatypeDefinition -> String # showList :: [DatatypeDefinition] -> ShowS #
Eq DatatypeDefinition Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DatatypeDefinition -> DatatypeDefinition -> Bool # (/=) :: DatatypeDefinition -> DatatypeDefinition -> Bool #
Ord DatatypeDefinition Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DatatypeDefinition -> DatatypeDefinition -> Ordering # (<) :: DatatypeDefinition -> DatatypeDefinition -> Bool # (<=) :: DatatypeDefinition -> DatatypeDefinition -> Bool # (>) :: DatatypeDefinition -> DatatypeDefinition -> Bool # (>=) :: DatatypeDefinition -> DatatypeDefinition -> Bool # max :: DatatypeDefinition -> DatatypeDefinition -> DatatypeDefinition # min :: DatatypeDefinition -> DatatypeDefinition -> DatatypeDefinition #

_DatatypeDefinition :: Name Source #

_DatatypeDefinition_annotations :: FieldName Source #

_DatatypeDefinition_datatype :: FieldName Source #

_DatatypeDefinition_range :: FieldName Source #

data HasKey Source #

See https://www.w3.org/TR/owl2-syntax/#Keys

Constructors

HasKey
Fields hasKeyAnnotations :: [Annotation] hasKeyClass :: ClassExpression hasKeyObjectProperties :: [ObjectPropertyExpression] hasKeyDataProperties :: [DataPropertyExpression]

Instances

Instances details

Read HasKey Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS HasKey # readList :: ReadS [HasKey] # readPrec :: ReadPrec HasKey # readListPrec :: ReadPrec [HasKey] #
Show HasKey Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> HasKey -> ShowS # show :: HasKey -> String # showList :: [HasKey] -> ShowS #
Eq HasKey Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: HasKey -> HasKey -> Bool # (/=) :: HasKey -> HasKey -> Bool #
Ord HasKey Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: HasKey -> HasKey -> Ordering # (<) :: HasKey -> HasKey -> Bool # (<=) :: HasKey -> HasKey -> Bool # (>) :: HasKey -> HasKey -> Bool # (>=) :: HasKey -> HasKey -> Bool # max :: HasKey -> HasKey -> HasKey # min :: HasKey -> HasKey -> HasKey #

_HasKey :: Name Source #

_HasKey_annotations :: FieldName Source #

_HasKey_class :: FieldName Source #

_HasKey_objectProperties :: FieldName Source #

_HasKey_dataProperties :: FieldName Source #

data Assertion Source #

Constructors

AssertionClassAssertion ClassAssertion
AssertionDataPropertyAssertion DataPropertyAssertion
AssertionDifferentIndividuals DifferentIndividuals
AssertionObjectPropertyAssertion ObjectPropertyAssertion
AssertionNegativeDataPropertyAssertion NegativeDataPropertyAssertion
AssertionNegativeObjectPropertyAssertion NegativeObjectPropertyAssertion
AssertionSameIndividual SameIndividual

Instances

Instances details

Read Assertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS Assertion # readList :: ReadS [Assertion] # readPrec :: ReadPrec Assertion # readListPrec :: ReadPrec [Assertion] #
Show Assertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> Assertion -> ShowS # show :: Assertion -> String # showList :: [Assertion] -> ShowS #
Eq Assertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: Assertion -> Assertion -> Bool # (/=) :: Assertion -> Assertion -> Bool #
Ord Assertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: Assertion -> Assertion -> Ordering # (<) :: Assertion -> Assertion -> Bool # (<=) :: Assertion -> Assertion -> Bool # (>) :: Assertion -> Assertion -> Bool # (>=) :: Assertion -> Assertion -> Bool # max :: Assertion -> Assertion -> Assertion # min :: Assertion -> Assertion -> Assertion #

_Assertion :: Name Source #

_Assertion_classAssertion :: FieldName Source #

_Assertion_dataPropertyAssertion :: FieldName Source #

_Assertion_differentIndividuals :: FieldName Source #

_Assertion_objectPropertyAssertion :: FieldName Source #

_Assertion_negativeDataPropertyAssertion :: FieldName Source #

_Assertion_negativeObjectPropertyAssertion :: FieldName Source #

_Assertion_sameIndividual :: FieldName Source #

data SameIndividual Source #

Constructors

SameIndividual
Fields sameIndividualAnnotations :: [Annotation] sameIndividualIndividuals :: [Individual]

Instances

Instances details

Read SameIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS SameIndividual # readList :: ReadS [SameIndividual] # readPrec :: ReadPrec SameIndividual # readListPrec :: ReadPrec [SameIndividual] #
Show SameIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> SameIndividual -> ShowS # show :: SameIndividual -> String # showList :: [SameIndividual] -> ShowS #
Eq SameIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: SameIndividual -> SameIndividual -> Bool # (/=) :: SameIndividual -> SameIndividual -> Bool #
Ord SameIndividual Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: SameIndividual -> SameIndividual -> Ordering # (<) :: SameIndividual -> SameIndividual -> Bool # (<=) :: SameIndividual -> SameIndividual -> Bool # (>) :: SameIndividual -> SameIndividual -> Bool # (>=) :: SameIndividual -> SameIndividual -> Bool # max :: SameIndividual -> SameIndividual -> SameIndividual # min :: SameIndividual -> SameIndividual -> SameIndividual #

_SameIndividual :: Name Source #

_SameIndividual_annotations :: FieldName Source #

_SameIndividual_individuals :: FieldName Source #

data DifferentIndividuals Source #

Constructors

DifferentIndividuals
Fields differentIndividualsAnnotations :: [Annotation] differentIndividualsIndividuals :: [Individual]

Instances

Instances details

Read DifferentIndividuals Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DifferentIndividuals # readList :: ReadS [DifferentIndividuals] # readPrec :: ReadPrec DifferentIndividuals # readListPrec :: ReadPrec [DifferentIndividuals] #
Show DifferentIndividuals Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DifferentIndividuals -> ShowS # show :: DifferentIndividuals -> String # showList :: [DifferentIndividuals] -> ShowS #
Eq DifferentIndividuals Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DifferentIndividuals -> DifferentIndividuals -> Bool # (/=) :: DifferentIndividuals -> DifferentIndividuals -> Bool #
Ord DifferentIndividuals Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DifferentIndividuals -> DifferentIndividuals -> Ordering # (<) :: DifferentIndividuals -> DifferentIndividuals -> Bool # (<=) :: DifferentIndividuals -> DifferentIndividuals -> Bool # (>) :: DifferentIndividuals -> DifferentIndividuals -> Bool # (>=) :: DifferentIndividuals -> DifferentIndividuals -> Bool # max :: DifferentIndividuals -> DifferentIndividuals -> DifferentIndividuals # min :: DifferentIndividuals -> DifferentIndividuals -> DifferentIndividuals #

_DifferentIndividuals :: Name Source #

_DifferentIndividuals_annotations :: FieldName Source #

_DifferentIndividuals_individuals :: FieldName Source #

data ClassAssertion Source #

Constructors

ClassAssertion
Fields classAssertionAnnotations :: [Annotation] classAssertionClass :: ClassExpression classAssertionIndividual :: Individual

Instances

Instances details

Read ClassAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ClassAssertion # readList :: ReadS [ClassAssertion] # readPrec :: ReadPrec ClassAssertion # readListPrec :: ReadPrec [ClassAssertion] #
Show ClassAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ClassAssertion -> ShowS # show :: ClassAssertion -> String # showList :: [ClassAssertion] -> ShowS #
Eq ClassAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ClassAssertion -> ClassAssertion -> Bool # (/=) :: ClassAssertion -> ClassAssertion -> Bool #
Ord ClassAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ClassAssertion -> ClassAssertion -> Ordering # (<) :: ClassAssertion -> ClassAssertion -> Bool # (<=) :: ClassAssertion -> ClassAssertion -> Bool # (>) :: ClassAssertion -> ClassAssertion -> Bool # (>=) :: ClassAssertion -> ClassAssertion -> Bool # max :: ClassAssertion -> ClassAssertion -> ClassAssertion # min :: ClassAssertion -> ClassAssertion -> ClassAssertion #

_ClassAssertion :: Name Source #

_ClassAssertion_annotations :: FieldName Source #

_ClassAssertion_class :: FieldName Source #

_ClassAssertion_individual :: FieldName Source #

data ObjectPropertyAssertion Source #

Constructors

ObjectPropertyAssertion
Fields objectPropertyAssertionAnnotations :: [Annotation] objectPropertyAssertionProperty :: ObjectPropertyExpression objectPropertyAssertionSource :: Individual objectPropertyAssertionTarget :: Individual

Instances

Instances details

Read ObjectPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS ObjectPropertyAssertion # readList :: ReadS [ObjectPropertyAssertion] # readPrec :: ReadPrec ObjectPropertyAssertion # readListPrec :: ReadPrec [ObjectPropertyAssertion] #
Show ObjectPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> ObjectPropertyAssertion -> ShowS # show :: ObjectPropertyAssertion -> String # showList :: [ObjectPropertyAssertion] -> ShowS #
Eq ObjectPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> Bool # (/=) :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> Bool #
Ord ObjectPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> Ordering # (<) :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> Bool # (<=) :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> Bool # (>) :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> Bool # (>=) :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> Bool # max :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> ObjectPropertyAssertion # min :: ObjectPropertyAssertion -> ObjectPropertyAssertion -> ObjectPropertyAssertion #

_ObjectPropertyAssertion :: Name Source #

_ObjectPropertyAssertion_annotations :: FieldName Source #

_ObjectPropertyAssertion_property :: FieldName Source #

_ObjectPropertyAssertion_source :: FieldName Source #

_ObjectPropertyAssertion_target :: FieldName Source #

data NegativeObjectPropertyAssertion Source #

Constructors

NegativeObjectPropertyAssertion
Fields negativeObjectPropertyAssertionAnnotations :: [Annotation] negativeObjectPropertyAssertionProperty :: ObjectPropertyExpression negativeObjectPropertyAssertionSource :: Individual negativeObjectPropertyAssertionTarget :: Individual

Instances

Instances details

Read NegativeObjectPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS NegativeObjectPropertyAssertion # readList :: ReadS [NegativeObjectPropertyAssertion] # readPrec :: ReadPrec NegativeObjectPropertyAssertion # readListPrec :: ReadPrec [NegativeObjectPropertyAssertion] #
Show NegativeObjectPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> NegativeObjectPropertyAssertion -> ShowS # show :: NegativeObjectPropertyAssertion -> String # showList :: [NegativeObjectPropertyAssertion] -> ShowS #
Eq NegativeObjectPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> Bool # (/=) :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> Bool #
Ord NegativeObjectPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> Ordering # (<) :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> Bool # (<=) :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> Bool # (>) :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> Bool # (>=) :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> Bool # max :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion # min :: NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion -> NegativeObjectPropertyAssertion #

_NegativeObjectPropertyAssertion :: Name Source #

_NegativeObjectPropertyAssertion_annotations :: FieldName Source #

_NegativeObjectPropertyAssertion_property :: FieldName Source #

_NegativeObjectPropertyAssertion_source :: FieldName Source #

_NegativeObjectPropertyAssertion_target :: FieldName Source #

data DataPropertyAssertion Source #

Constructors

DataPropertyAssertion
Fields dataPropertyAssertionAnnotations :: [Annotation] dataPropertyAssertionProperty :: DataPropertyExpression dataPropertyAssertionSource :: Individual dataPropertyAssertionTarget :: Individual

Instances

Instances details

Read DataPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS DataPropertyAssertion # readList :: ReadS [DataPropertyAssertion] # readPrec :: ReadPrec DataPropertyAssertion # readListPrec :: ReadPrec [DataPropertyAssertion] #
Show DataPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> DataPropertyAssertion -> ShowS # show :: DataPropertyAssertion -> String # showList :: [DataPropertyAssertion] -> ShowS #
Eq DataPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: DataPropertyAssertion -> DataPropertyAssertion -> Bool # (/=) :: DataPropertyAssertion -> DataPropertyAssertion -> Bool #
Ord DataPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: DataPropertyAssertion -> DataPropertyAssertion -> Ordering # (<) :: DataPropertyAssertion -> DataPropertyAssertion -> Bool # (<=) :: DataPropertyAssertion -> DataPropertyAssertion -> Bool # (>) :: DataPropertyAssertion -> DataPropertyAssertion -> Bool # (>=) :: DataPropertyAssertion -> DataPropertyAssertion -> Bool # max :: DataPropertyAssertion -> DataPropertyAssertion -> DataPropertyAssertion # min :: DataPropertyAssertion -> DataPropertyAssertion -> DataPropertyAssertion #

_DataPropertyAssertion :: Name Source #

_DataPropertyAssertion_annotations :: FieldName Source #

_DataPropertyAssertion_property :: FieldName Source #

_DataPropertyAssertion_source :: FieldName Source #

_DataPropertyAssertion_target :: FieldName Source #

data NegativeDataPropertyAssertion Source #

Constructors

NegativeDataPropertyAssertion
Fields negativeDataPropertyAssertionAnnotations :: [Annotation] negativeDataPropertyAssertionProperty :: DataPropertyExpression negativeDataPropertyAssertionSource :: Individual negativeDataPropertyAssertionTarget :: Individual

Instances

Instances details

Read NegativeDataPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods readsPrec :: Int -> ReadS NegativeDataPropertyAssertion # readList :: ReadS [NegativeDataPropertyAssertion] # readPrec :: ReadPrec NegativeDataPropertyAssertion # readListPrec :: ReadPrec [NegativeDataPropertyAssertion] #
Show NegativeDataPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods showsPrec :: Int -> NegativeDataPropertyAssertion -> ShowS # show :: NegativeDataPropertyAssertion -> String # showList :: [NegativeDataPropertyAssertion] -> ShowS #
Eq NegativeDataPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods (==) :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> Bool # (/=) :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> Bool #
Ord NegativeDataPropertyAssertion Source #
Instance details Defined in Hydra.Ext.Owl.Syntax Methods compare :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> Ordering # (<) :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> Bool # (<=) :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> Bool # (>) :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> Bool # (>=) :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> Bool # max :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion # min :: NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion -> NegativeDataPropertyAssertion #

_NegativeDataPropertyAssertion :: Name Source #

_NegativeDataPropertyAssertion_annotations :: FieldName Source #

_NegativeDataPropertyAssertion_property :: FieldName Source #

_NegativeDataPropertyAssertion_source :: FieldName Source #

_NegativeDataPropertyAssertion_target :: FieldName Source #