OWL2.AS

Contents

• Predefined IRI checkings
• Cardinalities
• ENTITIES
• LITERALS
• PROPERTY EXPRESSIONS
• DATA RANGES
• CLASS EXPERSSIONS
• ANNOTATIONS

Description

Synopsis

• data IRIType
  • = Full
  • | Abbreviated
  • | NodeID
• data QName = QN {
  • namePrefix :: String
  • localPart :: String
  • iriType :: IRIType
  • expandedIRI :: String
  • iriPos :: Range
  }
• qNameRange :: QName -> [Pos]
• showQN :: QName -> String
• showQU :: QName -> String
• showQI :: QName -> String
• nullQName :: QName
• isNullQName :: QName -> Bool
• unamedS :: String
• dnamedS :: String
• dummyQName :: QName
• mkQName :: String -> QName
• setQRange :: Range -> QName -> QName
• setPrefix :: String -> QName -> QName
• setFull :: QName -> QName
• type IRI = QName
• isAnonymous :: IRI -> Bool
• cssIRI :: String -> IRIType
• type PrefixMap = Map String String
• predefPrefixes :: PrefixMap
• type LexicalForm = String
• type LanguageTag = String
• type ImportIRI = IRI
• type OntologyIRI = IRI
• type Class = IRI
• type Datatype = IRI
• type ObjectProperty = IRI
• type DataProperty = IRI
• type AnnotationProperty = IRI
• type Individual = IRI
• data EquivOrDisjoint
  • = Equivalent
  • | Disjoint
• showEquivOrDisjoint :: EquivOrDisjoint -> String
• data DomainOrRange
  • = ADomain
  • | ARange
• showDomainOrRange :: DomainOrRange -> String
• data SameOrDifferent
  • = Same
  • | Different
• showSameOrDifferent :: SameOrDifferent -> String
• data Relation
  • = EDRelation EquivOrDisjoint
  • | SubPropertyOf
  • | InverseOf
  • | SubClass
  • | Types
  • | DRRelation DomainOrRange
  • | SDRelation SameOrDifferent
• showRelation :: Relation -> String
• getED :: Relation -> EquivOrDisjoint
• getDR :: Relation -> DomainOrRange
• getSD :: Relation -> SameOrDifferent
• data Character
  • = Functional
  • | InverseFunctional
  • | Reflexive
  • | Irreflexive
  • | Symmetric
  • | Asymmetric
  • | Antisymmetric
  • | Transitive
• data PositiveOrNegative
  • = Positive
  • | Negative
• data QuantifierType
  • = AllValuesFrom
  • | SomeValuesFrom
• showQuantifierType :: QuantifierType -> String
• thingMap :: PreDefMaps
• isThing :: IRI -> Bool
• makePredefObjProp :: PreDefMaps
• isPredefObjProp :: IRI -> Bool
• makePredefDataProp :: PreDefMaps
• isPredefDataProp :: IRI -> Bool
• makePredefRDFSAnnoProp :: PreDefMaps
• isPredefRDFSAnnoProp :: IRI -> Bool
• makePredefOWLAnnoProp :: PreDefMaps
• isPredefOWLAnnoProp :: IRI -> Bool
• isPredefAnnoProp :: IRI -> Bool
• isPredefPropOrClass :: IRI -> Bool
• predefIRIs :: Set IRI
• isDatatypeKey :: IRI -> Bool
• xsdMap :: PreDefMaps
• owlNumbersMap :: PreDefMaps
• rdfMap :: PreDefMaps
• rdfsMap :: PreDefMaps
• isDatatypeKeyAux :: IRI -> [(String, String)]
• type PreDefMaps = ([String], String, String)
• preDefMaps :: [String] -> String -> PreDefMaps
• checkPredefAux :: PreDefMaps -> IRI -> Maybe (String, String)
• checkPredef :: PreDefMaps -> IRI -> Bool
• makeOWLPredefMaps :: [String] -> PreDefMaps
• setDatatypePrefix :: IRI -> IRI
• setReservedPrefix :: IRI -> IRI
• stripReservedPrefix :: IRI -> IRI
• getPredefName :: IRI -> String
• uriToTok :: IRI -> Token
• uriToId :: IRI -> Id
• entityToId :: Entity -> Id
• printDatatype :: IRI -> String
• data DatatypeCat
  • = OWL2Number
  • | OWL2String
  • | OWL2Bool
  • | Other
• getDatatypeCat :: IRI -> DatatypeCat
• makeXsdMap :: [String] -> PreDefMaps
• xsdBooleanMap :: PreDefMaps
• xsdNumbersMap :: PreDefMaps
• xsdStringsMap :: PreDefMaps
• facetToIRI :: DatatypeFacet -> ConstrainingFacet
• data CardinalityType
  • = MinCardinality
  • | MaxCardinality
  • | ExactCardinality
• showCardinalityType :: CardinalityType -> String
• data Cardinality a b = Cardinality CardinalityType Int a (Maybe b)
• data JunctionType
  • = UnionOf
  • | IntersectionOf
• type ConstrainingFacet = IRI
• type RestrictionValue = Literal
• data Entity = Entity {
  • label :: Maybe String
  • entityKind :: EntityType
  • cutIRI :: IRI
  }
• mkEntity :: EntityType -> IRI -> Entity
• mkEntityLbl :: String -> EntityType -> IRI -> Entity
• data EntityType
  • = Datatype
  • | Class
  • | ObjectProperty
  • | DataProperty
  • | AnnotationProperty
  • | NamedIndividual
• showEntityType :: EntityType -> String
• entityTypes :: [EntityType]
• pairSymbols :: Entity -> Entity -> Result Entity
• data TypedOrUntyped
  • = Typed Datatype
  • | Untyped (Maybe LanguageTag)
• data Literal
  • = Literal LexicalForm TypedOrUntyped
  • | NumberLit FloatLit
• data NNInt = NNInt [Int]
• zeroNNInt :: NNInt
• isZeroNNInt :: NNInt -> Bool
• data IntLit = IntLit {
  • absInt :: NNInt
  • isNegInt :: Bool
  }
• zeroInt :: IntLit
• isZeroInt :: IntLit -> Bool
• negNNInt :: Bool -> NNInt -> IntLit
• negInt :: IntLit -> IntLit
• data DecLit = DecLit {
  • truncDec :: IntLit
  • fracDec :: NNInt
  }
• isDecInt :: DecLit -> Bool
• negDec :: Bool -> DecLit -> DecLit
• data FloatLit = FloatLit {
  • floatBase :: DecLit
  • floatExp :: IntLit
  }
• isFloatDec :: FloatLit -> Bool
• isFloatInt :: FloatLit -> Bool
• floatToInt :: FloatLit -> IntLit
• intToDec :: IntLit -> DecLit
• decToFloat :: DecLit -> FloatLit
• intToFloat :: IntLit -> FloatLit
• abInt :: IntLit -> IntLit
• abDec :: DecLit -> DecLit
• abFloat :: FloatLit -> FloatLit
• isNegDec :: DecLit -> Bool
• numberName :: FloatLit -> String
• cTypeS :: String
• type InverseObjectProperty = ObjectPropertyExpression
• data ObjectPropertyExpression
  • = ObjectProp ObjectProperty
  • | ObjectInverseOf InverseObjectProperty
• objPropToIRI :: ObjectPropertyExpression -> Individual
• type DataPropertyExpression = DataProperty
• data DataRange
  • = DataType Datatype [(ConstrainingFacet, RestrictionValue)]
  • | DataJunction JunctionType [DataRange]
  • | DataComplementOf DataRange
  • | DataOneOf [Literal]
• data ClassExpression
  • = Expression Class
  • | ObjectJunction JunctionType [ClassExpression]
  • | ObjectComplementOf ClassExpression
  • | ObjectOneOf [Individual]
  • | ObjectValuesFrom QuantifierType ObjectPropertyExpression ClassExpression
  • | ObjectHasValue ObjectPropertyExpression Individual
  • | ObjectHasSelf ObjectPropertyExpression
  • | ObjectCardinality (Cardinality ObjectPropertyExpression ClassExpression)
  • | DataValuesFrom QuantifierType DataPropertyExpression DataRange
  • | DataHasValue DataPropertyExpression Literal
  • | DataCardinality (Cardinality DataPropertyExpression DataRange)
• data Annotation = Annotation [Annotation] AnnotationProperty AnnotationValue
• data AnnotationValue
  • = AnnValue IRI
  • | AnnValLit Literal

Documentation

Predefined IRI checkings

Cardinalities

ENTITIES

LITERALS

PROPERTY EXPRESSIONS

DATA RANGES

CLASS EXPERSSIONS

ANNOTATIONS