Stage-oe-small.jpg

Inproceedings1327: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
K (Wikipedia python library)
 
Zeile 20: Zeile 20:
 
|DOI Name=
 
|DOI Name=
 
|Projekt=ReaSem,  
 
|Projekt=ReaSem,  
|Forschungsgruppe=
+
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl

Aktuelle Version vom 16. Oktober 2009, 23:03 Uhr


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