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

Cached

Download Links

by Franz Baader , Philipp Hanschke
Citations:261 - 19 self

Documents Related by Co-Citation

310 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
229 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
372 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 – B Hollunder, F Baader - 1991
578 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
179 The Tractability of Subsumption in Frame-Based Description Languages – R Brachman, H Levesque - 1984
253 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
466 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
143 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
101 Terminological cycles: Semantics and computational properties – B Nebel - 1991