Talk:Description logic

message: What is a concrete domain?
To represent and reason values like integers and strings is difficult in Description Logic. eg: Age of a person is 4.
Also different functions like comparison of numbers, concatenation of strings is difficult to reason. Concrete feature role connects an object to a value. eg: Shyam is 4 years old. Here "Shyam" is an object, "hasAge" is a datatype property and "4" is an positive integer. So the domain which has concepts and roles involving objects only is known as Abstract Domain. The domain which involves literals and the functions that can be performed on the literals is called Concrete Domain. Geetha nitc (talk) 16:11, 12 August 2013 (UTC)
replies: text: 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)
thread_title:  Concrete domains 

message: 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)
thread_title:  Difficult to follow 

message: 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)
replies: text: I have attempted to address some of your concerns, except for examples.Hahahaha4 (talk) 19:36, 15 September 2008 (UTC)
thread_title:  Suggestions for clarification 

message: 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)
thread_title:  viz. Ontology languages 

message: 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)
thread_title:  DL Expressivity - expressivity link 

message: In the section Syntax an DL called AL (Attributive Language) is described. Wouldn't it be better if it's called ALC (Attributive Language with Complements)? --Xylometazolin (talk) 14:41, 21 October 2008 (UTC)
replies: text: AL is distinct from ALC (though it is not hard to miss why). AL has atomic negation (defined particularly for that name AL). ALC has full negation where it can be applied to any concept in a T-Box. Negation normal form on an ALC T-Box will push all the occurences in a T-Box down to the leaves (to atomic concepts) but will still allow negation on the left-hand side. Hahahaha4 (talk) 17:46, 9 February 2009 (UTC)

text: ...and so I added something about ALC to help explain. Hahahaha4 (talk) 17:47, 9 February 2009 (UTC)
thread_title:  AL vs. ALC 

message: :What people should also think about for intelligent systems is multiple viewpoints of the data. This will lead to subjective (as opposed to objective) intelligent systems.
What the bleeping bleep bleep is that all about? This is Wikipedia, not a homework assignment or futurist screed. Exorcise, please, 'pedians! --Tom Morris (talk) 16:14, 22 April 2009 (UTC)
thread_title:  I should...? 

message: Are there any better references available for µOR, which was recently added to the list of reasoners? The paper cited isn't available through the LNCS portal yet so I'm unable to confirm any information at all about the reasoner. I'm tempted to remove the entry entirely until the reasoner's existence and basic functionality can be verified. (This is standard Wikipedia policy.) Rvcx (talk) 20:07, 28 April 2009 (UTC)
replies: text: The cited paper is finally available online, and there's no evidence that µOR is actually a reasoner for description logics; it simply does some kind of processing on files written in a restricted subset of the OWL syntax. There is no analysis of whether or not the reasoner respects DL semantics. (My expectation is that it probably doesn't.) The µOR reasoner is thus relevant to OWL, but not to description logics, and has been removed from this article. Rvcx (talk) 23:03, 24 May 2009 (UTC)
thread_title:  µOR 

message: This section needs a rewrite. Each entry is "Name et. al. pg#" without a link or adequate information to find the referred source. 76.20.7.139 (talk) 03:53, 11 February 2010 (UTC)
thread_title:  Notes Section 

message: The list is a bit odd to include KAON2 and not Pellet or HermiT and to include CEL (which is only for a polytime fragment).  —Preceding unsigned comment added by 130.88.198.12 (talk) 10:09, 23 June 2010 (UTC)
thread_title:  Expressive logic reasoners 

message: "Optimising Ontology Classification", Glimm et al. have shown that through a reduction of properties to classes, one can reason about them as well. 77.11.150.2 (talk) 07:47, 16 November 2011 (UTC)
thread_title:  only the concepts? 

message: I deleted "What people should also think about for intelligent systems is multiple viewpoints of the data.  This will lead to subjective (as opposed to objective) intelligent systems.". If someone wants to expand on that, great, but on their own, the sentences are pretty much meaningless and seem like OR. Silver hr (talk) 19:52, 11 February 2012 (UTC)
thread_title:  Deleted sentences from Fuzzy description logic 

message: The article is mixing OWL/RDFS notation with DL notation, which I think is incorrect. DL does not define such things as owl:Thing, rdfs:Subclass, etc. In my opinion, such references should be deleted. If clariffication is needed, I would add a new Section - e.g. relation between DL and OWL.  — Preceding unsigned comment added by 128.46.227.222 (talk) 22:38, 12 June 2014 (UTC)
thread_title:  DL and OWL 

message: The page contains definitions for description logic in logical / mathematical language. This is great but it remains unclear for those of us not well versed in that language. I suggest that someone who understands the topic add a serious number of examples (for ALC?) somewhere in the page.
In addition, it might be nice if the symbols were rendered using the very wide Unicode character set rather than images. This way, there is at least some hope of searching for symbols in the page using your web browser. I assume Unicode actually contains all the logic symbols!  — Preceding unsigned comment added by Johnsonsmithson1974 (talk • contribs) 05:03, 28 July 2014 (UTC)
thread_title:  Page is unclear for non logicians 

message: Hello fellow Wikipedians,
I have just modified 2 external links on Description logic. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20070627202215/http://pellet.owldl.com/papers/sirin05pellet.pdf to http://pellet.owldl.com/papers/sirin05pellet.pdf
*Added archive https://web.archive.org/web/20070925082014/http://pellet.owldl.com/ to http://pellet.owldl.com/
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 09:36, 9 September 2017 (UTC)
thread_title:  External links modified