|
85
|
Part-Whole Relations in Object-Centered Systems: An Overview
– Alessandro Artale, Enrico Franconi, Nicola Guarino, Luca Pazzi
- 1996
|
|
235
|
A Correspondence Theory for Terminological Logics: Preliminary Report
– Klaus Schild
- 1991
|
|
23
|
A Framework for Part-of Hierarchies in Terminological Logics
– Lin Padgham, Patrick Lambrix
- 1994
|
|
43
|
A Concept Language Extended With Different Kinds of Transitive Roles
– Ulrike Sattler, Ulrike Sattler
- 1996
|
|
11
|
Part-Whole Reasoning in Description Logic
– P Lambrix
- 1996
|
|
49
|
Structured objects: Modeling and reasoning
– Diego Calvanese, Maurizio Lenzerini
- 1995
|
|
113
|
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
– Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann
- 1990
|
|
240
|
Parts: A Study in Ontology
– P Simons
- 1987
|
|
46
|
Terminological Knowledge Representation: A Proposal for a Terminological Logic
– Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich
- 1992
|
|
219
|
The Complexity of Concept Languages
– Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
- 1991
|
|
4
|
From data implementation to data model: Meta-semantic issues
– D R Raymond, F W Tompa, D Wood
- 1995
|
|
6
|
Open Problems with Part-Whole Relations
– Alessandro Artale, Ro Artale, Nicola Guarino, Enrico Franconi
- 1996
|
|
222
|
From Structured Documents to Novel Query Facilities
– Christophides Abiteboul, V. Christophides, S. Abiteboul, S. Cluet, M. Scholl
- 1994
|
|
104
|
Querying Semistructured Heterogeneous Information
– Dallan Quass, Anand Rajaraman, Yehoshua Sagiv, Jeffrey Ullman, Jennifer Widom
- 1995
|
|
32
|
Finite model reasoning in description logics
– Diego Calvanese
- 1996
|
|
132
|
A declarative language for querying and restructuring the web
– L Lakshmanan, F Sadri, I N Subramanian
- 1996
|
|
128
|
O.Shmueli, “W3qs: A Query System for the World Wide Web
– D Konopnicki
- 1995
|
|
42
|
Subsumption in KL-ONE is undecidable
– Manfred Schmidt-Schau��
- 1989
|
|
72
|
Inside the LOOM description classifier
– R MacGregor
- 1991
|
