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

Cached

Download Links

by Franz Baader , Philipp Hanschke
Citations:280 - 21 self

Documents Related by Co-Citation

12771 Computers and Intractability; A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
354 Practical Reasoning for Expressive Description Logics – Ian Horrocks, Ulrike Sattler, Stephan Tobies - 1999
448 RACER system description РVolker Haarslev, Ralf M̦ller - 2001
602 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
645 Classification in the KL-ONE knowledge representation system – James G. Schmolze, Thomas A. Lipkis - 1985
303 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
274 Using an Expressive Description Logic: FaCT or Fiction? – Ian R. Horrocks - 1998
242 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
205 The Tractability of Subsumption in Frame-Based Description Languages – Ronald J. Brachman, Hector J. Levesque - 1983