Copyright | (c) DFKI GmbH 2012 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable(derive Typeable instances) |
Safe Haskell | None |
OWL2.ATC_OWL2
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible
for the type(s):
EquivOrDisjoint
DomainOrRange
SameOrDifferent
Relation
Character
PositiveOrNegative
QuantifierType
DatatypeCat
CardinalityType
Cardinality
JunctionType
Entity
EntityType
TypedOrUntyped
Literal
NNInt
IntLit
DecLit
FloatLit
ObjectPropertyExpression
DataRange
ClassExpression
Annotation
AnnotationValue
ExtEntityType
SymbItems
SymbMapItems
RawSymb
Sign
SignAxiom
RoleKind
RoleType
DesKind
DomainOrRangeOrFunc
Extended
ListFrameBit
AnnoType
AnnFrameBit
Fact
FrameBit
Frame
Axiom
Ontology
OntologyDocument
OWLMorphism
ProfSub
NumberRestrictions
OWLSub
Profiles
IRI
IRIAuth
Orphan instances
ShATermConvertible IRIAuth Source # | |
ShATermConvertible IRI Source # | |
ShATermConvertible AnnotationValue Source # | |
ShATermConvertible Annotation Source # | |
ShATermConvertible ClassExpression Source # | |
ShATermConvertible DataRange Source # | |
ShATermConvertible ObjectPropertyExpression Source # | |
ShATermConvertible FloatLit Source # | |
ShATermConvertible DecLit Source # | |
ShATermConvertible IntLit Source # | |
ShATermConvertible NNInt Source # | |
ShATermConvertible Literal Source # | |
ShATermConvertible TypedOrUntyped Source # | |
ShATermConvertible EntityType Source # | |
ShATermConvertible Entity Source # | |
ShATermConvertible JunctionType Source # | |
ShATermConvertible CardinalityType Source # | |
ShATermConvertible DatatypeCat Source # | |
ShATermConvertible QuantifierType Source # | |
ShATermConvertible PositiveOrNegative Source # | |
ShATermConvertible Character Source # | |
ShATermConvertible Relation Source # | |
ShATermConvertible SameOrDifferent Source # | |
ShATermConvertible DomainOrRange Source # | |
ShATermConvertible EquivOrDisjoint Source # | |
ShATermConvertible OntologyDocument Source # | |
ShATermConvertible Ontology Source # | |
ShATermConvertible Axiom Source # | |
ShATermConvertible Frame Source # | |
ShATermConvertible FrameBit Source # | |
ShATermConvertible Fact Source # | |
ShATermConvertible AnnFrameBit Source # | |
ShATermConvertible AnnoType Source # | |
ShATermConvertible ListFrameBit Source # | |
ShATermConvertible Extended Source # | |
ShATermConvertible Profiles Source # | |
ShATermConvertible RawSymb Source # | |
ShATermConvertible SymbMapItems Source # | |
ShATermConvertible SymbItems Source # | |
ShATermConvertible ExtEntityType Source # | |
ShATermConvertible DesKind Source # | |
ShATermConvertible RoleType Source # | |
ShATermConvertible RoleKind Source # | |
ShATermConvertible SignAxiom Source # | |
ShATermConvertible Sign Source # | |
ShATermConvertible OWLMorphism Source # | |
ShATermConvertible OWLSub Source # | |
ShATermConvertible NumberRestrictions Source # | |
ShATermConvertible ProfSub Source # | |
ShATermConvertible a => ShATermConvertible (DomainOrRangeOrFunc a) Source # | |
(ShATermConvertible a, ShATermConvertible b) => ShATermConvertible (Cardinality a b) Source # | |