Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A more expressive formulation of many sorted logic
Journal of Automated Reasoning
Representing domain structure of many-sorted Prolog knowledge bases
Lecture notes in computer science on Foundations of logic and functional programming
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Tableau calculus for order-sorted logic
Proceedings of the workshop on Sorts and types in artificial intelligence
Knowledge representation in LILOG
Proceedings of the workshop on Sorts and types in artificial intelligence
Proceedings of the first international conference on Principles of knowledge representation and reasoning
A general framework for sorted deduction: fundamental results on hybrid reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Ontological assumptions in knowledge representation
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Some Problems and Proposals for Knowledge Representation
Some Problems and Proposals for Knowledge Representation
| Hi-index | 0.00 |
ITL (Intensional Terminological Language) is a Prolog-based language derived from our previous work on DRL. Like LOGIN, it improves the expressive adequacy of Prolog by the introduction of a separate theory, which represents the sortal structure of the domain. This theory is linked to the object theory by a simple form of order-sorted unification. Differently from LOGIN, however, ITL sorts are not complex structures similar to KLONE concepts. The reason is that ITL is not based on generic descriptions: roles (we call them attributes) are represented as independent concepts, which contribute to the structure of more complex concepts through separate statements expressing necessary conditions, sufficient conditions or structural constraints. The result is a fine-grained terminological language, whose syntax resembles in some way OMEGA. Yet, differently from OMEGA, this language does not have the full power of first order logic. It has however an intensional semantics, which we consider as an important characteristic of terminological knowledge. In this paper we briefly discuss the rationale behind ITL, and present its major characteristics.