Abstract:
Abstract Order-sorted logic includes many and partially ordered sorts as a sort-hierarchy. In the field of knowledge representation and reasoning, it is useful to develop reasoning systems for terminological knowledge, together with assertional knowledge. However, the expression of sort-hierarchies cannot su#ciently capture the lexical diversity of terminological knowledge. In addition to sorts, various kinds of symbols: constants, functions and predicates are semantically and hierarchically associated with each other. This is because natural language words identifying these symbols can be employed in the description of terminological knowledge. In this paper, we present a label-based language for consistently handling the variety of hierarchical relationships among symbol names. For this language we develop a sorted resolution system whose reasoning power is enhanced by adding hierarchical inference rules with labeled substitutions.
Citations
|
632
|
Logical Foundations of Object-Oriented and FrameBased Languages
– Kifer, Lausen, et al.
- 1995
|
|
155
|
LOGIN: a logic programming language with built-in inheritance
– Ait-Kaci, Nasr
- 1986
|
|
140
|
Towards a meaning of LIFE
– t-Kaci, Podelski
- 1993
|
|
137
|
Attributive concept descriptions with complements
– Schmidt-Schauss, Smolka
- 1991
|
|
95
|
Ontology reasoning in the SHOQ(D) description logic
– Horrocks, Sattler
- 2001
|
|
47
|
Terminological knowledge representation: a proposal for a terminological logic
– Baader, Heinsohn, et al.
- 1991
|
|
42
|
A more expressive formulation of many sorted logic
– Cohn
- 1987
|
|
36
|
Towards a meaning of LIFE
– At-Kaci, Podelski
- 1993
|
|
26
|
LOGIN: A logic programming language with built-in inheritance
– At-Kaci, Nasr
- 1986
|
|
22
|
An order-sorted logic for knowledge representation systems
– Beierle, HedtstiJck, et al.
- 1992
|
|
16
|
Many-sorted unification
– Walther
- 1988
|
|
12
|
An order-sorted resolution with implicitly negative sorts
– Kaneiwa, Tojo
- 2001
|
|
9
|
Deduction Systems
– Socher-Ambrosius, Johann
- 1996
|
|
7
|
Taxonomic reasoning with many sorted logics
– Cohn
- 1989
|
|
5
|
An order-sorted resolution in theory and practice
– Weibel
- 1997
|
|
3
|
A mechanical solution of Schuber’s steamroller by many-sorted resolution
– Walther
- 1985
|
|
2
|
et al., Knowledge representation of new HELIC-II
– Nitta
- 1994
|
|
1
|
Resolution for Label-based Formulas in Hierarchical Representation 19 7
– Horrocks, Fensel, et al.
- 2000
|
|
