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

S.\ BrandtS.\ Brandt, A.-Y.\ TurhanA.-Y.\ Turhan

Datei:BrandtTurhan-KIDLWS01.ps.gz

Download

S.\ Brandt, A.-Y.\ 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

Details
Bibtex

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