Hets - the Heterogeneous Tool Set

Copyright(c) Francisc-Nicolae Bungiu Felix Gabriel Mance
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerf.bungiu@jacobs-university.de
Stabilityprovisional
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

OWL2.OWL22CASL

Description

 

Documentation

data OWL22CASL Source #

Constructors

OWL22CASL 

Instances

Show OWL22CASL Source # 

Methods

showsPrec :: Int -> OWL22CASL -> ShowS

show :: OWL22CASL -> String

showList :: [OWL22CASL] -> ShowS

Language OWL22CASL Source # 

Methods

language_name :: OWL22CASL -> String Source #

description :: OWL22CASL -> String Source #

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 #