Stage-oe-small.jpg

Inproceedings1327

Aus Aifbportal
Wechseln zu:Navigation, Suche


A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions


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

Wissensrepräsentationssprachen, Formale Begriffsanalyse, Logik, Web Science