Eq ProfSub Source # | |
Instance detailsDefined in OWL2.ProfilesAndSublogics |
Data ProfSub Source # | |
Instance detailsDefined in OWL2.ProfilesAndSublogics |
Ord ProfSub Source # | |
Instance detailsDefined in OWL2.ProfilesAndSublogics |
Show ProfSub Source # | |
Instance detailsDefined in OWL2.ProfilesAndSublogics |
Generic ProfSub | |
Instance detailsDefined in OWL2.ATC_OWL2 Associated Types type Rep ProfSub :: Type -> Type |
FromJSON ProfSub | |
Instance detailsDefined in OWL2.ATC_OWL2 |
ToJSON ProfSub | |
Instance detailsDefined in OWL2.ATC_OWL2 |
ShATermConvertible ProfSub | |
Instance detailsDefined in OWL2.ATC_OWL2 |
SublogicName ProfSub Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
SemiLatticeWithTop ProfSub Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
ProjectSublogicM ProfSub Entity Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
ProjectSublogicM ProfSub SymbMapItems Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
ProjectSublogicM ProfSub SymbItems Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
ProjectSublogic ProfSub OntologyDocument Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
ProjectSublogic ProfSub Sign Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
ProjectSublogic ProfSub OWLMorphism Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
MinSublogic ProfSub OntologyDocument Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
MinSublogic ProfSub Axiom Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
MinSublogic ProfSub Entity Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
MinSublogic ProfSub Sign Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
MinSublogic ProfSub SymbMapItems Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
MinSublogic ProfSub SymbItems Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
MinSublogic ProfSub OWLMorphism Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
Logic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # | |
Instance detailsDefined in OWL2.Logic_OWL2 |
Comorphism Propositional2OWL2 Propositional PropSL BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # | |
Instance detailsDefined in OWL2.Propositional2OWL2 |
Comorphism OWL22NeSyPatterns OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree NeSyPatterns () BASIC_SPEC () SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source # | |
Instance detailsDefined in OWL2.OWL22NeSyPatterns |
Comorphism OWL22CommonLogic OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CommonLogic CommonLogicSL BASIC_SPEC TEXT_META SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol ProofTree Source # | |
Instance detailsDefined in OWL2.OWL22CommonLogic |
Comorphism OWL22CASL OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # | |
Instance detailsDefined in OWL2.OWL22CASL |
Comorphism CASL2OWL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # | |
Instance detailsDefined in OWL2.CASL2OWL |
Comorphism ExtModal2OWL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # | |
Instance detailsDefined in Comorphisms.ExtModal2OWL |
Comorphism DMU2OWL2 DMU () Text () () () Text (DefaultMorphism Text) () () () OWL2 ProfSub OntologyDocument Axiom SymbItems SymbMapItems Sign OWLMorphism Entity RawSymb ProofTree Source # | |
Instance detailsDefined in OWL2.DMU2OWL2 |
type Rep ProfSub | |
Instance detailsDefined in OWL2.ATC_OWL2 type Rep ProfSub = D1 ('MetaData "ProfSub" "OWL2.ProfilesAndSublogics" "main" 'False) (C1 ('MetaCons "ProfSub" 'PrefixI 'True) (S1 ('MetaSel ('Just "profiles") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Profiles) :*: S1 ('MetaSel ('Just "sublogic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OWLSub))) |