Towards a Description Logic for Scientific Modeling.
Jean-Pierre MüllerHasina Lalaina RakotonirainyDominique HervéPublished in: KEOD (2011)
Keyphrases
- description logics
- knowledge base
- knowledge representation
- computational properties
- reasoning tasks
- reasoning problems
- dl lite
- reasoning systems
- knowledge representation and reasoning
- snomed ct
- reasoning mechanism
- semantic web
- computing least common subsumers
- concept descriptions
- ontology languages
- natural language
- data mining
- owl dl
- logic programming
- database