Keyphrases
- knowledge representation
- knowledge representation and reasoning
- disjunctive logic programming
- knowledge base
- artificial intelligence
- reasoning with inconsistent
- logical reasoning
- answer set programming
- expert systems
- automated reasoning
- semantic web
- semantic web ontologies
- modular ontologies
- description logics
- ontology reasoning
- knowledge acquisition
- reasoning mechanism
- human level
- reasoning services
- rule based reasoning
- knowledge structures
- case based reasoning
- machine learning
- intelligent behavior
- knowledge processing
- databases
- knowledge based systems
- reasoning process
- reasoning tasks
- semantic web technologies
- natural language
- domain specific
- logic programming
- cognitive architectures
- production rules
- artificial general intelligence
- owl dl
- ontology engineering
- ai systems
- semantic technologies
- ontology alignment
- legal reasoning
- answer sets
- ontology evolution
- domain ontology
- ontology matching
- intelligent systems
- formal ontologies
- ontological reasoning
- approximate reasoning
- reasoning systems