Talk:Description logic

From Wikipedia, the free encyclopedia

Contents

[edit] Concrete domains

What is a concrete domain?

Basicly a way to have datatype propeties and predicates on them. For example age<18 See C. Lutz Description Lotics with Concrete Domains-A Survey Advances in Modal Logics v4 King's College 2003 128.253.87.56 21:06, 12 July 2007 (UTC)

Perhaps also domain theory. Not clear to me if "concrete" here is the same "concrete" as in concrete category. linas 15:33, 8 November 2007 (UTC)

[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.

Hi,

OWL Lite is based on ALCR+HIF(D), OWL-DL is based on SHOIN(D) and OWL 1.1 is based on SHROIQ(D) although I'm not sure for the last one. Hope it helps. 193.251.169.175

[edit] Too Technical

Wow, I didn't understand a word of that, and I'm a fairly technical programmer with some knowledge of the Semantic Web. Why is this article (and many in this space) so impenetrable? A little more English and less jargon would be helpful for context or overview's sake.

[edit] Difficult to follow

I agree. The content as it is not very useful for someone who walked in with desire to know more about Knowledge representation and reasoning.

You are stuffing the page with jargons from get go; quote "terminological knowledge ... structured and formally ..". Phew...take it easy dude.

Breaking the content into syntax, semantics and modeling is not appropriate here. This is not a overview section in a journal whose audience are mildly familiar with description logic and the objective is to put you and the reader in the same framework.

Try to give the reader a sense of what it can do and how to do it. If it is the case that "description logic" is (or could be) applicable to real problems than it should be possible to write jargon-less introduction.


This paragraph gives a rough idea of how to structure the content: Description logic is one of the many languages for "Knowledge representation and reasoning. It is derived from frame languages (if that is the case) and but differs from them with respect to X,Y,Z. Developed at the peak of A.I., interest in this field is again gaining momentum in P,Q,R domain.

At this point introduce "Concepts", "instances" and "Hierarchy" Next bring roles/properties into the picture.

And then go on step by to talk about various other non-trivial aspect of DL and describe constructs related to it. For more sophisticated stuff point out to relevant text.


-Thanks Wkpdia san (talk) 18:36, 18 November 2007 (UTC)

[edit] Suggestions for clarification

I tend to agree with these comments --- the terms used in the discussion here sometimes make the page almost circular --- concepts are defined in terms of other concepts the reader is unlikely to know. Some suggestions:

  • the topic sentence defines description logics as "represent the terminological knowledge of an application domain...." "Terminological knowledge" is not a sufficiently common phrase that it should go without definition. Ideally you should give an intuitive equivalent to this in the topic sentence and, after that, introduce "terminological" with a definition.
  • I'd suggest presenting an example use of a DL in the topic paragraph to make this more concrete. E.g., the (now very tired) wine example.
  • The term "atomic concepts" is used without definition. It's not clear whether these are "atomic" in a sense like axiomatic --- they are not definable in the language --- or whether they are something simpler than that. Also, if concept names are atomic givens, how does the user of a description logic define new concept names?
  • I think it would be helpful to add an introduction to the syntax section to explain what this means. That is, we can talk about the syntax of the first order predicate calculus because, down to some pretty minor renamings, there is a single first order predicate calculus. But there seems to be a whole menagerie of DLs. So does this syntax section represent a kind of consensus syntax that most DLs would admit? Should the article talk here about variations in syntax?
  • Maybe put a link from the first mention of the top and bottom concepts in the syntax section into their definitions in the semantics section? I'm concerned that the reader will be lost far before s/he reaches the meat of the article.
  • In the semantics section explain that this is a denotational semantics and link to an article defining denotational semantics? I'm wondering what happens to readers who stumble on this article without background in logic.
  • Give a concrete example of an R-successor in the semantics section. E.g., the father-of George W. Bush is George H.W. Bush, so G.H.W. Bush is a father-of-successor of Dubya.
  • What does "Note that the TBox/ABox distinction is not significant, in the same sense that the two `kinds' of sentences are not treated differently in first-order logic..." mean? "same" as what sense? Should this just be "in the sense that"?
  • For that matter, if the TBox/ABox distinction is not significant, then why present it to the reader? I think the answer is that the distinction may not be semantically significant, but it is extremely significant with respect to the implementation of DLs in deductive databases.
  • For that matter again, the discussion of syntax here covers only the syntax of the TBox. You can't say "Bob is an employee" in the language generated by that syntax, because there are no individuals.
  • The article says "When translated into first-order logic, a subsumption axiom like (1) is simply a conditional restriction to unary predicates (concepts) with only variables appearing in it." For the reader to follow this, the article should give that translation. For that matter, I don't know what "a conditional restriction" is in first order logic. There is no notion of "restriction" in FOP. There is implication --- I believe the translation would be something like (forall x (implies (employee x) (person x))) [sorry, my wiki fu is not up to writing first order logic in anything more elaborate than prefix]. But I don't believe the author intends to say that this is just an implication. S/he is trying to say "an implication of a specific form," I believe, but the specific form in question needs to be defined.
  • "Modeling in description logics" is all about the TBox/ABox distinction and, unfortunately, says nothing about modeling with DLs. I'd suggest it be retitled as "TBox and ABox," and a modeling section added.
  • The term "Complex concept negation." is not defined.
  • The different forms of DL were created in attempts to trade off expressive power and computability. This article badly needs a brief discussion to say:
    • what are the decision problems of DLs? and
    • what is the complexity of these decision problems in the various dialects.
  • In "Differences with OWL," a brief definition of OWL would be helpful to remind the reader why s/he might care about this relation. The differences I believe, are not confined to the use of jargon. OWL comes in different flavors, with more or less direct relationships with DLs.

Alas, while I have enough background in logic and AI to make the above suggestions, I do not have any background in DL to speak of, and am certainly not qualified to actually act on these suggestions. Rpgoldman (talk) 15:46, 4 March 2008 (UTC)

[edit] viz. Ontology languages

I would like to see a clarification w.r.t. ontology languages and frame languages. Descriptive language seem to be frame languages, with extra stuff added. They seem not to support any predicates, and thus are a special case of the more general class of ontology languages. All in agreement on this? linas 14:49, 8 November 2007 (UTC)

On closer review, this article is usually rather unclear about the relationship between DL and predicate logic. It implies that DL is "expressible as predicate logic" -- true, but misleading? Then it says that DL's logical operations are those of predicate logic-- again, true, but misleading. It never seems to say that DL doesn't actually support predicates, which seems to me to be a glaring ommission, although there may be support for unary predicates only??? Huh?

The relationship of some of the DL concepts to the more traditional "extension and intension in lattices" (is an instance of, is generalized by) is unclear (see article formal concept analysis and lattice (order)).

And, while I'm nit-picking, the first section of the article, titled "syntax", seems to describe nothing other than the basic operations of naive set theory, without actually saying the words "set theory". One might argue that "top" and "bottom" are from lattice (order) but again, that article is not linked. No mention of either domain theory or Galois connection. I suppose I could try to fix this myself ... linas 15:15, 8 November 2007 (UTC)

[edit] DL Expressivity - expressivity link

The expressivity link currently links to expressivity in genetics. I guess we need a disambiguation (as well as writing something for expressivity in the DL sense).

I'm not sure how to do that... Drevicko (talk) 05:43, 29 March 2008 (UTC)