hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Ext.Owl.Syntax

Description

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

Synopsis

Documentation

data AnnotationAssertion Source #

data SubAnnotationPropertyOf Source #

data AnnotationPropertyDomain Source #

data AnnotationPropertyRange Source #

data Class Source #

Constructors

Class 

Instances

Instances details
Read Class Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

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 #

data Datatype Source #

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

Show Datatype Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Eq Datatype Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Ord Datatype Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

data ObjectPropertyExpression Source #

data DatatypeRestriction Source #

data DatatypeRestriction_Constraint Source #

Instances

Instances details
Read DatatypeRestriction_Constraint Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Show DatatypeRestriction_Constraint Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Eq DatatypeRestriction_Constraint Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Ord DatatypeRestriction_Constraint Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

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

Show DatatypeRestriction_ConstrainingFacet Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Eq DatatypeRestriction_ConstrainingFacet Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Ord DatatypeRestriction_ConstrainingFacet Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

data ClassExpression Source #

data ObjectMinCardinality Source #

data ObjectMaxCardinality Source #

data ObjectExactCardinality Source #

data DataExactCardinality Source #

data ObjectPropertyAxiom Source #

data SubObjectPropertyOf Source #

data EquivalentObjectProperties Source #

data DisjointObjectProperties Source #

data ObjectPropertyDomain Source #

data ObjectPropertyRange Source #

data InverseObjectProperties Source #

data FunctionalObjectProperty Source #

data InverseFunctionalObjectProperty Source #

Instances

Instances details
Read InverseFunctionalObjectProperty Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Show InverseFunctionalObjectProperty Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Eq InverseFunctionalObjectProperty Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Ord InverseFunctionalObjectProperty Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

data ReflexiveObjectProperty Source #

data IrreflexiveObjectProperty Source #

data SymmetricObjectProperty Source #

data AsymmetricObjectProperty Source #

data TransitiveObjectProperty Source #

data DataPropertyAxiom Source #

data EquivalentDataProperties Source #

data DisjointDataProperties Source #

data FunctionalDataProperty Source #

data ObjectPropertyAssertion Source #

data NegativeObjectPropertyAssertion Source #

Instances

Instances details
Read NegativeObjectPropertyAssertion Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Show NegativeObjectPropertyAssertion Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Eq NegativeObjectPropertyAssertion Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Ord NegativeObjectPropertyAssertion Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

data DataPropertyAssertion Source #

data NegativeDataPropertyAssertion Source #

Instances

Instances details
Read NegativeDataPropertyAssertion Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Show NegativeDataPropertyAssertion Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Eq NegativeDataPropertyAssertion Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax

Ord NegativeDataPropertyAssertion Source # 
Instance details

Defined in Hydra.Ext.Owl.Syntax