Distributed reasoning with ontologies and rules in order-sorted logic programming.
Ken KaneiwaRiichiro MizoguchiPublished in: J. Web Semant. (2009)
Keyphrases
- logic programming
- knowledge representation
- knowledge base
- reasoning tasks
- knowledge representation and reasoning
- logic programs
- description logic programs
- answer set semantics
- dl programs
- predicate logic
- production rules
- inference engine
- reasoning about actions
- computational logic
- declarative semantics
- ontological reasoning
- answer set programming
- deductive databases
- answer sets
- rule based systems
- nonmonotonic reasoning
- probabilistic reasoning
- logic programming language
- order sorted
- background knowledge
- normal logic programs
- expert systems
- stable models
- description logics
- programming language
- inductive logic programming
- default logic
- constraint logic programming
- domain knowledge
- owl ontologies
- automated reasoning
- semantic web
- linear logic
- dl lite
- knowledge based systems
- knowledge sources
- reasoning systems
- semantics for logic programs
- artificial intelligence