A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
From International Center for Computational Logic
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
Sebastian RudolphSebastian Rudolph
Sebastian Rudolph
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, eds., Inspiration and Application - Contributions to ICCS 2006, 188 - 201, July 2006. Aalborg University Press
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, eds., Inspiration and Application - Contributions to ICCS 2006, 188 - 201, July 2006. Aalborg University Press
- KurzfassungAbstract
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. - Forschungsgruppe:Research Group: Computational LogicComputational Logic
@inproceedings{R2006,
author = {Sebastian Rudolph},
title = {A Deduction Calculus for Cumulated Clauses on {FLE} Concept
Descriptions},
editor = {Pascal Hitzler and Henrik Sch{\"{a}}rfe and Peter {\O}hrstr{\o}m},
booktitle = {Inspiration and Application - Contributions to {ICCS} 2006},
publisher = {Aalborg University Press},
year = {2006},
month = {July},
pages = {188 - 201}
}
