Distributed reasoning with ontologies and rules in order-sorted logic programming
Authors:
- Ken KaneiwaKKKen Kaneiwa
- Riichiro MizoguchiRMRiichiro Mizoguchi
- 1 September 2009
- journal article
- Published by Elsevier in Journal of Web Semantics
- Vol. 7 (3) , 252-270
Abstract
No abstract availableKeywords
Funding Information
- Ministry of Education, Culture, Sports, Science and Technology (20700147)
This publication has 22 references indexed in Scilit:
- Ontologies and Rules2009
- The Description Logic Handbook2007
- The completeness of logic programming with sort predicatesSystems and Computers in Japan, 2003
- AL-log: Integrating Datalog and Description LogicsJournal of Intelligent Information Systems, 1998
- Logical foundations of object-oriented and frame-based languagesJournal of the ACM, 1995
- A resolution principle for constrained logicsArtificial Intelligence, 1994
- An order-sorted logic for knowledge representation systemsArtificial Intelligence, 1992
- Taxonomic reasoning with many-sorted logicsArtificial Intelligence Review, 1989
- A more expressive formulation of many sorted logicJournal of Automated Reasoning, 1987
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986