Copyright | (c) Christian Maeder DFKI GmbH 2011 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | non-portable |
Safe Haskell | None |
OWL2.Logic_OWL2
Contents
Description
Here is the place where the class Logic is instantiated for OWL2.
Documentation
Constructors
OWL2 |
Instances
inducedFromToMor :: Map RawSymb RawSymb -> ExtSign Sign Entity -> ExtSign Sign Entity -> Result OWLMorphism Source #
inducedFromToMorphismAux :: Map RawSymb RawSymb -> ExtSign Sign Entity -> ExtSign Sign Entity -> Result OWLMorphism Source #
Orphan instances
Monoid Ontology Source # | |
Monoid OntologyDocument Source # | |
ShATermConvertible OntologyDocument Source # | |
ShATermConvertible Axiom Source # | |
ShATermConvertible Entity Source # | |
ShATermConvertible SymbMapItems Source # | |
ShATermConvertible SymbItems Source # | |
ShATermConvertible Sign Source # | |
ShATermConvertible OWLMorphism Source # | |
ShATermConvertible ProfSub Source # | |
SublogicName ProfSub Source # | |
SemiLatticeWithTop ProfSub Source # | |
ProjectSublogicM ProfSub Entity Source # | |
ProjectSublogicM ProfSub SymbMapItems Source # | |
ProjectSublogicM ProfSub SymbItems Source # | |
ProjectSublogic ProfSub OntologyDocument Source # | |
ProjectSublogic ProfSub Sign Source # | |
ProjectSublogic ProfSub OWLMorphism Source # | |
MinSublogic ProfSub OntologyDocument Source # | |
MinSublogic ProfSub Axiom Source # | |
MinSublogic ProfSub Entity Source # | |
MinSublogic ProfSub SymbMapItems Source # | |
MinSublogic ProfSub SymbItems Source # | |
MinSublogic ProfSub Sign Source # | |
MinSublogic ProfSub OWLMorphism Source # | |
Category Sign OWLMorphism Source # | |