Ralf Küsters  Home/Search
Context
Related
| lti.informatik.rwt...estersDL97.ps.gz lri.fr/~mcr/ps/kuesters.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lti.informatik.rwthaach...Papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The representation of terminological knowledge may naturally lead to terminological cycles. In addition to descriptive semantics, the meaning of cyclic terminologies can also be captured by fixed-point semantics. To gain a more profound understanding of these semantics and to obtain inference algorithms for inconsistency, subsumption, and related inference tasks, this paper provides automata theoretic characterizations of these semantics. The already existing results for the language FL 0 are... (Update)
Similar documents (at the sentence level):
7.2%: Characterizing the Semantics of Terminological Cycles in ALN.. - Küsters (1998) (Correct)
Active bibliography (related documents): More All
0.1: Structural Subsumption Considered from an.. - Baader, Küsters, Molitor (1998) (Correct)
0.1: Computing the least common subsumer and the most specific.. - Baader, Küsters (1998) (Correct)
0.1: Rewriting Concepts Using Terminologies - Revisited - Baader, Küsters, Molitor (2000) (Correct)
Similar documents based on text: More All
0.2: Least common subsumer computation w.r.t. cyclic.. - Baader, Küsters (1998) (Correct)
0.2: Structural Subsumption for ALN - Molitor (1998) (Correct)
0.2: Rewriting Concepts Using Terminologies - Baader, Küsters, Molitor (2000) (Correct)
BibTeX entry: (Update)
@misc{ sters-characterizing,
author = "Ralf Küsters",
title = "Characterizing the Semantics of Terminological Cycles With the Help of
Finite Automata",
url = "citeseer.ist.psu.edu/146726.html" }
Citations (may not include all citations):89 Terminological cycles: Semantics and computational propertie.. - Nebel - 1991
29 Using automata theory for characterizing the semantics of te.. (context) - Baader - 1996
22 Concept languages with number restrictions and fixpoints - De Giacomo, Lenzerini - 1994
22 Terminological cycles and the propositional ¯-calculus (context) - Schild - 1994
17 Characterizing the semantics of terminological cycles with t.. - Kusters - 1997
Documents on the same site (http://www-lti.informatik.rwth-aachen.de/Forschung/Papers.html): More
Unification Theory - Baader, Snyder (1999) (Correct)
Planning Mathematical Proofs with Methods - Huang, Kerber, Richts, Sehn (1994) (Correct)
KEIM: A Toolkit for Automated Deduction - Huang, Kerber, Kohlhase, Melis.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC