A Roadmap to Gradually Compare and Benchmark Description Logic Calculi.
Fred FreitasPublished in: LuxLogAI (Student / Workshop Papers) (2018)
Keyphrases
- description logics
- reasoning problems
- knowledge base
- reasoning tasks
- computational properties
- knowledge representation
- snomed ct
- semantic web
- knowledge representation and reasoning
- computing least common subsumers
- reasoning mechanism
- dl lite
- ontology languages
- owl dl
- reasoning systems
- artificial intelligence
- concept descriptions
- knowledge representation languages
- ontology reasoning
- semantic web ontologies