Lotrec : The Generic Tableau Prover for Modal and Description Logics.
Luis Fariñas del CerroDavid FauthouxOlivier GasquetAndreas HerzigDominique LonginFabio MassacciPublished in: IJCAR (2001)
Keyphrases
- description logics
- knowledge base
- description logic alc
- knowledge representation
- theorem proving
- reasoning tasks
- semantic web
- ontology languages
- knowledge representation formalisms
- dl lite
- computational properties
- reasoning systems
- computing least common subsumers
- tableau calculus
- automated theorem proving
- concept descriptions
- knowledge representation and reasoning
- domain specific
- reasoning problems
- theorem prover
- knowledge representation systems
- modal logic
- number restrictions
- knowledge representation languages
- artificial intelligence