Patel-Schneider, P.F., et al [1989]. Report on the Workshop on Term Subsumption Languages in Knowledge Representation, Thorn Hill, New Hampshire, USA. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Algebraic Terminological Representation - Schmidt (1991) (Correct)
....Boolean modules and Peirce algebras, respectively. Citation of references is generally by author and year of publication, as for example in Tarski [1941] If an author has published more than one work in the same year I iv annotate the year with a letter (in no particular order) e.g. Patel Schneider [1989a] and Patel Schneider [1989b] Secondary references (i.e. those I did not consult myself but concerning which I found some information in a primary reference) are marked with an asterisk. A shorter and earlier version of this thesis is due to be published (Brink and Schmidt [1991] v ....
....algebras, respectively. Citation of references is generally by author and year of publication, as for example in Tarski [1941] If an author has published more than one work in the same year I iv annotate the year with a letter (in no particular order) e.g. Patel Schneider [1989a] and Patel Schneider [1989b] Secondary references (i.e. those I did not consult myself but concerning which I found some information in a primary reference) are marked with an asterisk. A shorter and earlier version of this thesis is due to be published (Brink and Schmidt [1991] v Chapter 1 Preview In this chapter I ....
[Article contains additional citation context not shown here]
Patel-Schneider, P.F., et al [1989]. Report on the Workshop on Term Subsumption Languages in Knowledge Representation, Thorn Hill, New Hampshire, USA.
A Scheme for Integrating Concrete Domains into Concept Languages - Baader, Hanschke (1991) (120 citations) (Correct)
....purpose one would e.g. like to have access to real arithmetic. Similar motivations have already led to extensions of kl one in the above mentioned systems meson, classic, and K Rep. The meson system provides a separate hierarchy for describing non concepts (e.g. integer ranges and strings) Patel Schneider et al. 1990 ] p. 8) which are given as user defined or machine defined predicates. Similar features are provided by the test construct in classic. In K Rep the roles of concepts may in turn be other (complex) concepts, as well as numbers, strings and . arbitrary Lisp objects ( Mays et al. 1988 ] ....
P. F. Patel-Schneider, B. Owsnicki-Klewe, A. Kobsa, N. Guarino, R. McGregor, W. S. Mark, D. McGuiness, B. Nebel, A. Schmiedel, and J. Yen. Report on the workshop on term subsumption languages in knowledge representation. AI Magazine, 11(2):16--23, 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC