Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Inproceedings1327

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions




Published: 2006 Juli
Herausgeber: Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm
Buchtitel: Inspiration and Application - Contributions to ICCS 2006
Seiten: 188 - 201
Verlag: Aalborg University Press
Referierte Veröffentlichung
BibTeX

Kurzfassung
We investigate cumulated clauses on a set of attributes consisting of concept descriptions of the description logic FLE. This kind of conceptual statements is argued to be close to intuitive human reasoning. We provide a deduction calculus for cumulated clauses on FLE that is obviously sound and give an elaborated proof for its completeness.

ISBN: 87-7307-763-2
Download: Media:2006_1327_Rudolph_A_Deduction_Cal_1.pdf

Projekt

ReaSem



Forschungsgruppe

Wissensmanagement


Forschungsgebiet
Formale Begriffsanalyse, Wissensrepräsentationssprachen, Web Science, Logik