Version vom 23. März 2015, 13:24 Uhr

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

S. BrandtS. Brandt, Anni-Yasmin TurhanAnni-Yasmin Turhan

Datei:BrandtTurhan-KIDLWS01.ps.gz

Download

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

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

@@ Zeile 1: / Zeile 1: @@
 {{Publikation Erster Autor
-|ErsterAutorVorname=S.\
+|ErsterAutorVorname=S.
 |ErsterAutorNachname=Brandt
-|FurtherAuthors=A.-Y.\ Turhan
+|FurtherAuthors=Anni-Yasmin Turhan
 }}
 {{Inproceedings
 |Referiert=1
-|Title=Using Non-standard Inferences in Description Logics --- what does it buy me?
+|Title=Using Non-standard Inferences in Description Logics — what does it buy me?
 |Year=2001
 |Month=September
@@ Zeile 20: / Zeile 20: @@
 }}
 {{Publikation Details
-|Abstract=  In knowledge representation systems based on Description Logics,
+|Abstract= 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.
-  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.
 |ISBN=
 |ISSN=
@@ Zeile 51: / Zeile 41: @@
    year = {2001},
 }
 }}

LATPub214: Unterschied zwischen den Versionen

Version vom 23. März 2015, 13:24 Uhr

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

S. BrandtS. Brandt, Anni-Yasmin TurhanAnni-Yasmin Turhan