Can Description Logics Be Used in Real-Life Knowledge-Based Systems?
Piet-Hein SpeelPublished in: Description Logics (1996)
Keyphrases
- knowledge based systems
- description logics
- knowledge base
- knowledge representation
- knowledge acquisition
- reasoning tasks
- expert systems
- production rules
- computational properties
- knowledge representation and reasoning
- dl lite
- reasoning problems
- semantic web
- machine learning
- inference engine
- artificial intelligence
- knowledge sources
- knowledge structures
- knowledge representation languages
- formal semantics
- logic programming
- computing least common subsumers
- terminological knowledge
- query answering
- first order logic