The description logic ALCNHR+ extended with concrete domains: A practically motivated approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2083 LNAI, Issue , 2001, Pages 29-44

  Haarslev, Volker ^a   Möller, Ralf ^a   Wessel, Michael ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LANGUAGES; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; CONCRETES; DATA DESCRIPTION; RECONFIGURABLE HARDWARE; SEMANTICS;

CONCRETE DOMAINS; DESCRIPTION LOGIC; DESCRIPTION LOGIC SYSTEMS; LANGUAGE FEATURES; NUMBER RESTRICTIONS; ROLE HIERARCHY;

DATA DESCRIPTION; COMPUTER CIRCUITS;

EID: 33745133574     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45744-5_4     Document Type: Conference Paper

References (9)

1. F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Twelfth International Conference on Artificial Intelligence, 1991, pages 452-457, 1991. A longer version appeared as Tech. Report DFKI-RR-91-10.
2. F. Baader and P. Hanschke. Extensions of concept languages for a mechanical engineering application. In H.J. Ohlbach, editor, Proceedings, GWAI-92: 16th German Conference on Artificial Intelligence, pages 132-143. Springer, 1992.
3. M. Buchheit, R. Klein, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In F. Sudweeks and J. Gero, editors, Proc. 4th Int. Conf. on Artificial Intelligence in Design. Kluwer, Dordrecht, 1994.
4. V. Haarslev and R. Möller. Consistency testing: The RACE experience. In Proceedings International Conference Tableaux'2000. Springer-Verlag, 2000.
5. V. Haarslev and R. Möller. Expressive ABox reasoning with number restrictions, role hierachies, and transitively closed roles. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), 2000.
6. R+ extended with concrete domains. Technical Report FBI-HH-M-290/00, University of Hamburg, Computer Science Department, August 2000.
7. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in LNAI, pages 161-180. Springer, 1999.
8. C. Lutz. The complexity of reasoning with concrete domains (revised version). LTCS-Report 99-01, LuFG Theoretical Computer Science, RWTH Aachen, 1999.
9. J.R. Wright, E.S. Weixelbaum, G.T. Vesonder, K. Brown, S.R. Palmer, J.I. Berman, and H.H. Moore. A knowledge-based configurator that supports sales, engineering, and manufacturing at AT&T network systems. AI Magazine, 14(3):69-80, 1993.