A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions

Sebastian RudolphSebastian Rudolph

ISBN: 87-7307-763-2
Download

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

Details
Bibtex

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}
}