What's Needed to Make a Description Logic a Good KR Citizen?
Robert M. MacGregorPublished in: Description Logics (1992)
Keyphrases
- description logics
- knowledge representation and reasoning
- knowledge base
- knowledge representation
- reasoning tasks
- reasoning systems
- computational properties
- semantic web
- reasoning problems
- reasoning mechanism
- reasoning services
- dl lite
- snomed ct
- ontology languages
- logical implication
- artificial intelligence
- concept descriptions
- computing least common subsumers
- owl dl
- information systems
- model theoretic
- owl ontologies
- semantic mapping
- automated reasoning
- incomplete information
- dl programs
- query language