Implementing an ALCRP(D) ABox Reasoner - Progress Report.
Volker HaarslevRalf MöllerAnni-Yasmin TurhanPublished in: Description Logics (1998)
Keyphrases
- query answering
- knowledge base
- description logics
- reasoning services
- terminological reasoning
- expressive description logics
- consistency checking
- website
- efficient implementation
- expert systems
- information systems
- neural network
- databases
- database
- data structure
- temporal reasoning
- artificial intelligence
- dl lite
- meta reasoning