• search hit 26 of 36
Back to Result List

Knowledge compilation for description logics

  • Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[DH05]), for which queries can be answered efficiently. This precompilation step is very expensive but it only has to be performed once. We propose to apply this technique to knowledge bases defined in Description Logics. For this, we introduce a normal form, called linkless concept descriptions, for ALC concepts. Further we present an algorithm, based on path dissolution, which can be used to transform a given concept description into an equivalent linkless concept description. Finally we discuss a linear satisfiability test as well as a subsumption test for linkless concept descriptions.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Ulrich Furbach, Claudia Obermaier
Series (Volume no.):Arbeitsberichte, FB Informatik (2007,17)
Document Type:Part of Periodical
Date of completion:2007/07/06
Date of publication:2007/07/06
Publishing institution:Universität Koblenz-Landau, Campus Koblenz, Universitätsbibliothek
Release Date:2007/07/06
Tag:Knowledge Compilation
Number of pages:14
Institutes:Fachbereich 4 / Fachbereich 4
Fachbereich 4 / Institut für Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):License LogoEs gilt das deutsche Urheberrecht: § 53 UrhG