Using Non-standard Inferences in Description Logics — what does it buy me?

From International Center for Computational Logic

Toggle side column

Using Non-standard Inferences in Description Logics — what does it buy me?

S. BrandtS. Brandt,  Anni-Yasmin TurhanAnni-Yasmin Turhan
S. Brandt, Anni-Yasmin Turhan
Using Non-standard Inferences in Description Logics — what does it buy me?
Proceedings of the KI-2001 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS, September 2001. RWTH Aachen
  • KurzfassungAbstract
    In knowledge representation systems based on Description Logics, standard inference services such as consistency, subsumption, and instance are well-investigated. In contrast, non-standard inferences like most specific concept, least common subsumer, unification, and matching are missing in most systems---or exist only as ad-hoc implementations. We give an example of how these inferences can be applied successfully in the domain of process engineering. The benefit gained in our example, however, occurs in to many domains where knowledge bases are managed by persons with little expertise in knowledge engineering.
  • Bemerkung: Note: Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-44/
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ BrTu-01,
  address = {Vienna, Austria},
  author = {S.\ {Brandt} and A.-Y.\ {Turhan}},
  booktitle = {Proceedings of the KI-2001 Workshop on Applications of Description Logics {(KIDLWS'01)}},
  month = {September},
  note = {Proceedings online available from {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-44/}},
  number = {44},
  publisher = {RWTH Aachen},
  series = {CEUR-WS},
  title = {Using Non-standard Inferences in Description Logics --- what does it buy me?},
  year = {2001},
}