Reasoning over Ontologies and Non-monotonic Rules.
Vadim IvanovMatthias KnorrJoão LeitePublished in: EPIA (2015)
Keyphrases
- rule based reasoning
- knowledge base
- production rules
- knowledge representation
- reasoning mechanisms
- conflicting information
- owl ontologies
- reasoning with inconsistent
- dl programs
- description logic programs
- inference engine
- logical rules
- multi context systems
- default rules
- logical reasoning
- description logics
- ontology reasoning
- semantic web
- reasoning mechanism
- association rules
- rule language
- reasoning services
- modular ontologies
- uncertain information
- case based reasoning
- semantic web technologies
- meta rules
- ontology engineering
- semantic web ontologies
- reasoning systems
- reasoning process
- reasoning tasks
- rule sets
- knowledge based systems
- formal ontologies
- association rule mining
- background knowledge
- classification rules
- rule engine
- domain knowledge
- semantic technologies
- approximate reasoning
- knowledge processing