Distributed Reasoning for Mapped Ontologies Using Rewriting Logic.
Mustapha BourahlaPublished in: MEDI (2016)
Keyphrases
- knowledge representation
- knowledge base
- automated reasoning
- reasoning engine
- proof theory
- logical reasoning
- deductive reasoning
- computational properties
- distributed systems
- probabilistic logic
- distributed constraint satisfaction
- reasoning with inconsistent
- heterogeneous data
- ontology reasoning
- order of magnitude reasoning
- logical framework
- databases
- proof theoretic
- reasoning mechanism
- reasoning process
- intuitionistic logic
- semantic web
- logical rules
- ontological reasoning
- logical inference
- peer to peer
- reasoning systems
- human reasoning
- reasoning about actions
- classical logic
- modal logic
- domain ontology
- domain knowledge
- multi agent
- abductive reasoning
- owl dl
- reasoning tasks
- logic programming
- semantic web ontologies