A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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