Hets - the Heterogeneous Tool Set

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-Inferred

OWL2.Profiles

Description

OWL2 Profiles (EL, QL and RL)

References : http://www.w3.org/TR/owl2-profiles/

Documentation

Constructors

Profiles
Fields el :: Bool ql :: Bool rl :: Bool

Instances

Eq Profiles
Data Profiles
Ord Profiles
Show Profiles
ShATermConvertible Profiles
Typeable * Profiles

allProfiles :: [[Profiles]]

bottomProfile :: Profiles

topProfile :: Profiles

elProfile :: Profiles

qlProfile :: Profiles

rlProfile :: Profiles

elqlProfile :: Profiles

elrlProfile :: Profiles

qlrlProfile :: Profiles

printProfile :: Profiles -> String

andProfileList :: [Profiles] -> Profiles

andList :: (a -> Profiles) -> [a] -> Profiles

minimalCovering :: Profiles -> [Profiles] -> Profiles

dataType :: Datatype -> Profiles

literal :: Literal -> Profiles

individual :: Individual -> Profiles

objProp :: ObjectPropertyExpression -> Profiles

dataRange :: DataRange -> Profiles

subClass :: ClassExpression -> Profiles

superClass :: ClassExpression -> Profiles

equivClassRL :: ClassExpression -> Bool

annotation :: Annotation -> Profiles

annotations :: Annotations -> Profiles

assertionQL :: ClassExpression -> Bool

char :: [Character] -> [Character] -> Bool

fact :: Fact -> Profiles

lFB :: Extended -> Maybe Relation -> ListFrameBit -> Profiles

aFB :: Extended -> Annotations -> AnnFrameBit -> Profiles

fB :: Extended -> FrameBit -> Profiles

axiom :: Axiom -> Profiles

frame :: Frame -> Profiles

ontologyP :: Ontology -> Profiles

ontologyProfiles :: OntologyDocument -> Profiles