Multi-level networked knowledge: representation and DL-reasoning.
Sihem KlaiAntoine ZimmermannMohamed Tarek KhadirPublished in: Int. J. Metadata Semant. Ontologies (2016)
Keyphrases
- knowledge representation
- description logics
- knowledge base
- knowledge representation formalisms
- knowledge representation and reasoning
- automated reasoning
- expressive description logics
- reasoning tasks
- knowledge acquisition
- reasoning systems
- computational properties
- knowledge engineering
- representing knowledge
- knowledge representation systems
- semantic web
- knowledge representation languages
- artificial intelligence
- logic programming
- inference engine
- natural language
- natural language understanding
- production rules
- expressive power
- first order logic
- reasoning mechanisms
- knowledge based systems
- knowledge structures
- natural language processing
- reasoning mechanism
- machine learning
- reasoning problems
- general knowledge
- probabilistic reasoning
- rule based reasoning
- human reasoning
- multi layer
- commonsense reasoning
- formal representation
- ontology languages
- causal reasoning
- nonmonotonic reasoning