Copyright	(c) Felix Gabriel Mance
License	GPLv2 or higher, see LICENSE.txt
Maintainer	f.mance@jacobs-university.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

OWL2.MS

Description

Datatypes specific to the Manchester Syntax of OWL 2

References : http://www.w3.org/TR/owl2-manchester-syntax/

Synopsis

type Annotations = [Annotation]
type AnnotatedList a = [(Annotations, a)]
data Extended
- = Misc Annotations
- | ClassEntity ClassExpression
- | ObjectEntity ObjectPropertyExpression
- | SimpleEntity Entity
data ListFrameBit
- = AnnotationBit (AnnotatedList AnnotationProperty)
- | ExpressionBit (AnnotatedList ClassExpression)
- | ObjectBit (AnnotatedList ObjectPropertyExpression)
- | DataBit (AnnotatedList DataPropertyExpression)
- | IndividualSameOrDifferent (AnnotatedList NamedIndividual)
- | ObjectCharacteristics (AnnotatedList Character)
- | DataPropRange (AnnotatedList DataRange)
- | IndividualFacts (AnnotatedList Fact)
data AnnoType
- = Declaration
- | Assertion
- | XmlError String
data AnnFrameBit
- = AnnotationFrameBit AnnoType
- | DataFunctional
- | DatatypeBit DataRange
- | ClassDisjointUnion [ClassExpression]
- | ClassHasKey [ObjectPropertyExpression] [DataPropertyExpression]
- | ObjectSubPropertyChain [ObjectPropertyExpression]
data Fact
- = ObjectPropertyFact PositiveOrNegative ObjectPropertyExpression NamedIndividual
- | DataPropertyFact PositiveOrNegative DataPropertyExpression Literal
data FrameBit
- = ListFrameBit (Maybe Relation) ListFrameBit
- | AnnFrameBit Annotations AnnFrameBit
data Frame = Frame Extended [FrameBit]
data Axiom = PlainAxiom {
- axiomTopic :: Extended
- axiomBit :: FrameBit
}
mkExtendedEntity :: Entity -> Extended
getAxioms :: Frame -> [Axiom]
axToFrame :: Axiom -> Frame
data Ontology = Ontology {
- name :: OntologyIRI
- imports :: [ImportIRI]
- ann :: [Annotations]
- ontFrames :: [Frame]
}
data OntologyDocument = OntologyDocument {
- prefixDeclaration :: PrefixMap
- ontology :: Ontology
}
emptyOntology :: [Frame] -> Ontology
emptyOntologyDoc :: OntologyDocument
isEmptyOntology :: Ontology -> Bool
isEmptyOntologyDoc :: OntologyDocument -> Bool
emptyAnnoList :: [a] -> AnnotatedList a
symsOfAxiom :: Axiom -> Set Entity
symsOfExtended :: Extended -> Set Entity
symsOfObjectPropertyExpression :: ObjectPropertyExpression -> Set Entity
symsOfClassExpression :: ClassExpression -> Set Entity
symsOfDataRange :: DataRange -> Set Entity
symsOfAnnotation :: Annotation -> Set Entity
symsOfAnnotations :: Annotations -> Set Entity
symsOfFrameBit :: FrameBit -> Set Entity
symsOfAnnFrameBit :: AnnFrameBit -> Set Entity
symsOfListFrameBit :: ListFrameBit -> Set Entity
symsOfFact :: Fact -> Set Entity
annotedSyms :: (a -> Set Entity) -> AnnotatedList a -> Set Entity

Documentation

type Annotations = [Annotation] Source #

annotions are annotedAnnotationList that must be preceded by the keyword Annotations: if non-empty

type AnnotatedList a = [(Annotations, a)] Source #

data Extended Source #

this datatype extends the Manchester Syntax to also allow GCIs

Constructors

Misc Annotations
ClassEntity ClassExpression
ObjectEntity ObjectPropertyExpression
SimpleEntity Entity

Instances

Instances details

Eq Extended Source #
Instance details Defined in OWL2.MS Methods (==) :: Extended -> Extended -> Bool (/=) :: Extended -> Extended -> Bool
Data Extended Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Extended -> c Extended gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Extended toConstr :: Extended -> Constr dataTypeOf :: Extended -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Extended) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Extended) gmapT :: (forall b. Data b => b -> b) -> Extended -> Extended gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Extended -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Extended -> r gmapQ :: (forall d. Data d => d -> u) -> Extended -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Extended -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Extended -> m Extended gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Extended -> m Extended gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Extended -> m Extended
Ord Extended Source #
Instance details Defined in OWL2.MS Methods compare :: Extended -> Extended -> Ordering (<) :: Extended -> Extended -> Bool (<=) :: Extended -> Extended -> Bool (>) :: Extended -> Extended -> Bool (>=) :: Extended -> Extended -> Bool max :: Extended -> Extended -> Extended min :: Extended -> Extended -> Extended
Show Extended Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> Extended -> ShowS show :: Extended -> String showList :: [Extended] -> ShowS

data ListFrameBit Source #

frames with annotated lists

Instances

Instances details

Eq ListFrameBit Source #
Instance details Defined in OWL2.MS Methods (==) :: ListFrameBit -> ListFrameBit -> Bool (/=) :: ListFrameBit -> ListFrameBit -> Bool
Data ListFrameBit Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListFrameBit -> c ListFrameBit gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListFrameBit toConstr :: ListFrameBit -> Constr dataTypeOf :: ListFrameBit -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListFrameBit) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListFrameBit) gmapT :: (forall b. Data b => b -> b) -> ListFrameBit -> ListFrameBit gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListFrameBit -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListFrameBit -> r gmapQ :: (forall d. Data d => d -> u) -> ListFrameBit -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ListFrameBit -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListFrameBit -> m ListFrameBit gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListFrameBit -> m ListFrameBit gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListFrameBit -> m ListFrameBit
Ord ListFrameBit Source #
Instance details Defined in OWL2.MS Methods compare :: ListFrameBit -> ListFrameBit -> Ordering (<) :: ListFrameBit -> ListFrameBit -> Bool (<=) :: ListFrameBit -> ListFrameBit -> Bool (>) :: ListFrameBit -> ListFrameBit -> Bool (>=) :: ListFrameBit -> ListFrameBit -> Bool max :: ListFrameBit -> ListFrameBit -> ListFrameBit min :: ListFrameBit -> ListFrameBit -> ListFrameBit
Show ListFrameBit Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> ListFrameBit -> ShowS show :: ListFrameBit -> String showList :: [ListFrameBit] -> ShowS
Pretty ListFrameBit Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: ListFrameBit -> Doc Source # pretties :: [ListFrameBit] -> Doc Source #

data AnnoType Source #

Constructors

Declaration
Assertion
XmlError String

Instances

Instances details

Eq AnnoType Source #
Instance details Defined in OWL2.MS Methods (==) :: AnnoType -> AnnoType -> Bool (/=) :: AnnoType -> AnnoType -> Bool
Data AnnoType Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnoType -> c AnnoType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnoType toConstr :: AnnoType -> Constr dataTypeOf :: AnnoType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnoType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnoType) gmapT :: (forall b. Data b => b -> b) -> AnnoType -> AnnoType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnoType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnoType -> r gmapQ :: (forall d. Data d => d -> u) -> AnnoType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnoType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnoType -> m AnnoType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoType -> m AnnoType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnoType -> m AnnoType
Ord AnnoType Source #
Instance details Defined in OWL2.MS Methods compare :: AnnoType -> AnnoType -> Ordering (<) :: AnnoType -> AnnoType -> Bool (<=) :: AnnoType -> AnnoType -> Bool (>) :: AnnoType -> AnnoType -> Bool (>=) :: AnnoType -> AnnoType -> Bool max :: AnnoType -> AnnoType -> AnnoType min :: AnnoType -> AnnoType -> AnnoType
Show AnnoType Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> AnnoType -> ShowS show :: AnnoType -> String showList :: [AnnoType] -> ShowS

data AnnFrameBit Source #

frames which start with annotations

Constructors

AnnotationFrameBit AnnoType
DataFunctional
DatatypeBit DataRange
ClassDisjointUnion [ClassExpression]
ClassHasKey [ObjectPropertyExpression] [DataPropertyExpression]
ObjectSubPropertyChain [ObjectPropertyExpression]

Instances

Instances details

Eq AnnFrameBit Source #
Instance details Defined in OWL2.MS Methods (==) :: AnnFrameBit -> AnnFrameBit -> Bool (/=) :: AnnFrameBit -> AnnFrameBit -> Bool
Data AnnFrameBit Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnFrameBit -> c AnnFrameBit gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnFrameBit toConstr :: AnnFrameBit -> Constr dataTypeOf :: AnnFrameBit -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnFrameBit) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnFrameBit) gmapT :: (forall b. Data b => b -> b) -> AnnFrameBit -> AnnFrameBit gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnFrameBit -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnFrameBit -> r gmapQ :: (forall d. Data d => d -> u) -> AnnFrameBit -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnFrameBit -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnFrameBit -> m AnnFrameBit gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnFrameBit -> m AnnFrameBit gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnFrameBit -> m AnnFrameBit
Ord AnnFrameBit Source #
Instance details Defined in OWL2.MS Methods compare :: AnnFrameBit -> AnnFrameBit -> Ordering (<) :: AnnFrameBit -> AnnFrameBit -> Bool (<=) :: AnnFrameBit -> AnnFrameBit -> Bool (>) :: AnnFrameBit -> AnnFrameBit -> Bool (>=) :: AnnFrameBit -> AnnFrameBit -> Bool max :: AnnFrameBit -> AnnFrameBit -> AnnFrameBit min :: AnnFrameBit -> AnnFrameBit -> AnnFrameBit
Show AnnFrameBit Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> AnnFrameBit -> ShowS show :: AnnFrameBit -> String showList :: [AnnFrameBit] -> ShowS

data Fact Source #

Constructors

ObjectPropertyFact PositiveOrNegative ObjectPropertyExpression NamedIndividual
DataPropertyFact PositiveOrNegative DataPropertyExpression Literal

Instances

Instances details

Eq Fact Source #
Instance details Defined in OWL2.MS Methods (==) :: Fact -> Fact -> Bool (/=) :: Fact -> Fact -> Bool
Data Fact Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fact -> c Fact gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Fact toConstr :: Fact -> Constr dataTypeOf :: Fact -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Fact) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Fact) gmapT :: (forall b. Data b => b -> b) -> Fact -> Fact gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fact -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fact -> r gmapQ :: (forall d. Data d => d -> u) -> Fact -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Fact -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fact -> m Fact gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fact -> m Fact gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fact -> m Fact
Ord Fact Source #
Instance details Defined in OWL2.MS Methods compare :: Fact -> Fact -> Ordering (<) :: Fact -> Fact -> Bool (<=) :: Fact -> Fact -> Bool (>) :: Fact -> Fact -> Bool (>=) :: Fact -> Fact -> Bool max :: Fact -> Fact -> Fact min :: Fact -> Fact -> Fact
Show Fact Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> Fact -> ShowS show :: Fact -> String showList :: [Fact] -> ShowS
Pretty Fact Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: Fact -> Doc Source # pretties :: [Fact] -> Doc Source #

data FrameBit Source #

Constructors

ListFrameBit (Maybe Relation) ListFrameBit
AnnFrameBit Annotations AnnFrameBit

Instances

Instances details

Eq FrameBit Source #
Instance details Defined in OWL2.MS Methods (==) :: FrameBit -> FrameBit -> Bool (/=) :: FrameBit -> FrameBit -> Bool
Data FrameBit Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FrameBit -> c FrameBit gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FrameBit toConstr :: FrameBit -> Constr dataTypeOf :: FrameBit -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FrameBit) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FrameBit) gmapT :: (forall b. Data b => b -> b) -> FrameBit -> FrameBit gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FrameBit -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FrameBit -> r gmapQ :: (forall d. Data d => d -> u) -> FrameBit -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FrameBit -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FrameBit -> m FrameBit gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FrameBit -> m FrameBit gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FrameBit -> m FrameBit
Ord FrameBit Source #
Instance details Defined in OWL2.MS Methods compare :: FrameBit -> FrameBit -> Ordering (<) :: FrameBit -> FrameBit -> Bool (<=) :: FrameBit -> FrameBit -> Bool (>) :: FrameBit -> FrameBit -> Bool (>=) :: FrameBit -> FrameBit -> Bool max :: FrameBit -> FrameBit -> FrameBit min :: FrameBit -> FrameBit -> FrameBit
Show FrameBit Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> FrameBit -> ShowS show :: FrameBit -> String showList :: [FrameBit] -> ShowS
Pretty FrameBit Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: FrameBit -> Doc Source # pretties :: [FrameBit] -> Doc Source #

data Frame Source #

Constructors

Frame Extended [FrameBit]

Instances

Instances details

Eq Frame Source #
Instance details Defined in OWL2.MS Methods (==) :: Frame -> Frame -> Bool (/=) :: Frame -> Frame -> Bool
Data Frame Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Frame -> c Frame gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Frame toConstr :: Frame -> Constr dataTypeOf :: Frame -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Frame) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Frame) gmapT :: (forall b. Data b => b -> b) -> Frame -> Frame gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Frame -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Frame -> r gmapQ :: (forall d. Data d => d -> u) -> Frame -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Frame -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Frame -> m Frame gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Frame -> m Frame gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Frame -> m Frame
Ord Frame Source #
Instance details Defined in OWL2.MS Methods compare :: Frame -> Frame -> Ordering (<) :: Frame -> Frame -> Bool (<=) :: Frame -> Frame -> Bool (>) :: Frame -> Frame -> Bool (>=) :: Frame -> Frame -> Bool max :: Frame -> Frame -> Frame min :: Frame -> Frame -> Frame
Show Frame Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> Frame -> ShowS show :: Frame -> String showList :: [Frame] -> ShowS
Pretty Frame Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: Frame -> Doc Source # pretties :: [Frame] -> Doc Source #

data Axiom Source #

Constructors

PlainAxiom
Fields axiomTopic :: Extended axiomBit :: FrameBit

Instances

Instances details

Eq Axiom Source #
Instance details Defined in OWL2.MS Methods (==) :: Axiom -> Axiom -> Bool (/=) :: Axiom -> Axiom -> Bool
Data Axiom Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Axiom -> c Axiom gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Axiom toConstr :: Axiom -> Constr dataTypeOf :: Axiom -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Axiom) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Axiom) gmapT :: (forall b. Data b => b -> b) -> Axiom -> Axiom gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Axiom -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Axiom -> r gmapQ :: (forall d. Data d => d -> u) -> Axiom -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Axiom -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Axiom -> m Axiom
Ord Axiom Source #
Instance details Defined in OWL2.MS 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
Show Axiom Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> Axiom -> ShowS show :: Axiom -> String showList :: [Axiom] -> ShowS
GetRange Axiom Source #
Instance details Defined in OWL2.MS Methods getRange :: Axiom -> Range Source # rangeSpan :: Axiom -> [Pos] Source #
Pretty Axiom Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: Axiom -> Doc Source # pretties :: [Axiom] -> Doc Source #

mkExtendedEntity :: Entity -> Extended Source #

getAxioms :: Frame -> [Axiom] Source #

axToFrame :: Axiom -> Frame Source #

data Ontology Source #

Constructors

Ontology
Fields name :: OntologyIRI imports :: [ImportIRI] ann :: [Annotations] ontFrames :: [Frame]

Instances

Instances details

Eq Ontology Source #
Instance details Defined in OWL2.MS Methods (==) :: Ontology -> Ontology -> Bool (/=) :: Ontology -> Ontology -> Bool
Data Ontology Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ontology -> c Ontology gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ontology toConstr :: Ontology -> Constr dataTypeOf :: Ontology -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ontology) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ontology) gmapT :: (forall b. Data b => b -> b) -> Ontology -> Ontology gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ontology -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ontology -> r gmapQ :: (forall d. Data d => d -> u) -> Ontology -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Ontology -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ontology -> m Ontology gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ontology -> m Ontology gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ontology -> m Ontology
Ord Ontology Source #
Instance details Defined in OWL2.MS 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
Show Ontology Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> Ontology -> ShowS show :: Ontology -> String showList :: [Ontology] -> ShowS
Pretty Ontology Source #	Printing the ontology
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: Ontology -> Doc Source # pretties :: [Ontology] -> Doc Source #

data OntologyDocument Source #

Constructors

OntologyDocument
Fields prefixDeclaration :: PrefixMap ontology :: Ontology

Instances

Instances details

Eq OntologyDocument Source #
Instance details Defined in OWL2.MS Methods (==) :: OntologyDocument -> OntologyDocument -> Bool (/=) :: OntologyDocument -> OntologyDocument -> Bool
Data OntologyDocument Source #
Instance details Defined in OWL2.MS Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OntologyDocument -> c OntologyDocument gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OntologyDocument toConstr :: OntologyDocument -> Constr dataTypeOf :: OntologyDocument -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OntologyDocument) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OntologyDocument) gmapT :: (forall b. Data b => b -> b) -> OntologyDocument -> OntologyDocument gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OntologyDocument -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OntologyDocument -> r gmapQ :: (forall d. Data d => d -> u) -> OntologyDocument -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> OntologyDocument -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> OntologyDocument -> m OntologyDocument gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OntologyDocument -> m OntologyDocument gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OntologyDocument -> m OntologyDocument
Ord OntologyDocument Source #
Instance details Defined in OWL2.MS Methods compare :: OntologyDocument -> OntologyDocument -> Ordering (<) :: OntologyDocument -> OntologyDocument -> Bool (<=) :: OntologyDocument -> OntologyDocument -> Bool (>) :: OntologyDocument -> OntologyDocument -> Bool (>=) :: OntologyDocument -> OntologyDocument -> Bool max :: OntologyDocument -> OntologyDocument -> OntologyDocument min :: OntologyDocument -> OntologyDocument -> OntologyDocument
Show OntologyDocument Source #
Instance details Defined in OWL2.MS Methods showsPrec :: Int -> OntologyDocument -> ShowS show :: OntologyDocument -> String showList :: [OntologyDocument] -> ShowS
GetRange OntologyDocument Source #
Instance details Defined in OWL2.MS Methods getRange :: OntologyDocument -> Range Source # rangeSpan :: OntologyDocument -> [Pos] Source #
Pretty OntologyDocument Source #
Instance details Defined in OWL2.ManchesterPrint Methods pretty :: OntologyDocument -> Doc Source # pretties :: [OntologyDocument] -> Doc Source #

emptyOntology :: [Frame] -> Ontology Source #

emptyOntologyDoc :: OntologyDocument Source #

isEmptyOntology :: Ontology -> Bool Source #

isEmptyOntologyDoc :: OntologyDocument -> Bool Source #

emptyAnnoList :: [a] -> AnnotatedList a Source #

symsOfAxiom :: Axiom -> Set Entity Source #

symsOfExtended :: Extended -> Set Entity Source #

symsOfObjectPropertyExpression :: ObjectPropertyExpression -> Set Entity Source #

symsOfClassExpression :: ClassExpression -> Set Entity Source #

symsOfDataRange :: DataRange -> Set Entity Source #

symsOfAnnotation :: Annotation -> Set Entity Source #

symsOfAnnotations :: Annotations -> Set Entity Source #

symsOfFrameBit :: FrameBit -> Set Entity Source #

symsOfAnnFrameBit :: AnnFrameBit -> Set Entity Source #

symsOfListFrameBit :: ListFrameBit -> Set Entity Source #

symsOfFact :: Fact -> Set Entity Source #

annotedSyms :: (a -> Set Entity) -> AnnotatedList a -> Set Entity Source #

AnnotationBit (AnnotatedList AnnotationProperty)
ExpressionBit (AnnotatedList ClassExpression)
ObjectBit (AnnotatedList ObjectPropertyExpression)
DataBit (AnnotatedList DataPropertyExpression)
IndividualSameOrDifferent (AnnotatedList NamedIndividual)
ObjectCharacteristics (AnnotatedList Character)
DataPropRange (AnnotatedList DataRange)
IndividualFacts (AnnotatedList Fact)