A Scheme for Integrating Concrete Domains into Concept Languages (1991)

Cached

Download Links

by Franz Baader , Philipp Hanschke
Citations:262 - 20 self

Documents Related by Co-Citation

310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
373 RACER system description – Volker Haarslev, Ralf Möller - 2001
123 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
83 Qualifying Number Restrictions in Concept Languages – F Baader, B Hollunder - 1991
579 An overview of the KL-ONE knowledge representation system – James G. Schmolze, Bolt Beranek, Newman Inc - 1985
66 Subsumption Algorithms for Concept Languages – Bernhard Hollunder, Werner Nutt - 1990
251 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
83 Subsumption Algorithms for Concept Description Languages – Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß - 1990
180 The tractability of subsumption in frame-based description languages – R J 'Levesque Brachman, H - 1984
257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
135 Ontology Reasoning in the SHOQ(D) Description Logic – Ian Horrocks, Ulrike Sattler - 2001
468 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
144 Description Logics with Concrete Domains -- A Survey – Carsten Lutz - 2003
71 Reasoning with Individuals in Concept Languages – Andrea Schaerf - 1994
34 Extensions of concept languages for a mechanical engineering application – F Baader, P Hanschke - 1992
40 On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations – Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka - 1993
30 Hybrid Inferences in KL-ONE-based Knowledge Representation Systems”, DFKI Research Report RR-90-06 – B Hollunder - 1990
148 Attributive concept descriptions with complements – Manfred Schmidt-Schau��, Gert Smolka - 1991