Talk:Description logic

From Wikipedia, the free encyclopedia

DAML+OIL link doesn't work (probably because of the + ?)

yes—the DAML+OIL page is called DAMLplusOIL. I've fixed the link now. 130.240.195.148 19:14, 16 October 2005 (UTC)

[edit] Concrete domains

What is a concrete domain?

[edit] DL Dialects

DL seem to be characterized by their features. For example the Web Ontology Language OWL is based on the ALCQHIR+ Description Logics dialect. Maybe this can be incorporated into the article. I am no expert on this. According to http://www.gi-ev.de/fileadmin/redaktion/Informatiktage/almost_owl.pdf the letters have the following meaning

  • basic Description Logic (AL)
  • with negation (C)
  • qualified number restrictions (Q)
  • role hierarchies (H)
  • inverse (I)
  • transitive roles (R+)
  • unqualified number restrictions (N)

Maybe somebody with more background knowledge can elaborate on this.

Retrieved from "http://en.wikipedia.org../../../d/e/s/Talk%7EDescription_logic_dd78.html"