A Description Logic for Vague Knowledge

C.B. TrespC.B. Tresp, R. MolitorR. Molitor

Datei:TrespMolitor-LTCS-98-01.ps.gz

Download

C.B. Tresp, R. Molitor
A Description Logic for Vague Knowledge
Technical Report, LuFg Theoretical Computer Science, RWTH Aachen, volume LTCS-98-01, 1998. LTCS-Report

Details
Bibtex

KurzfassungAbstract
This work introduces the concept language ALC(FM) which is an extension of ALC to many-valued logics. ALC(FM) allows to express vague concepts, e.g. `more or less enlarged' or `very small'. To realize this extension to many-valued logics, the classical notions of satisfiability and subsumption had to be modified appropriately. For example, ALC(FM)-concepts are no longer either satisfiable or unsatisfiable, but they are satisfiable to a certain degree. The main contribution of this paper is a sound and complete method for computing the degree of subsumption between two ALC(FM)-concepts.
Bemerkung: Note: See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ TrespMolitor-LTCS-98-01,
  address = {Germany},
  author = {C.B. {Tresp} and R. {Molitor}},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen},
  note = {See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html},
  number = {LTCS-98-01},
  title = {A Description Logic for Vague Knowledge},
  type = {LTCS-Report},
  year = {1998},
}