tags:

views:

74

answers:

1
+2  Q: 

What exactly can concrete domains be used to describe?

I have read the formal definition of a "concrete domain", but I still don't quite get it.

Could someone explain it to me in simpler terms, preferably with some examples?

The definition is available in Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution by Ullrich Hustadt, Boris Motik, Ulrike Sattler. Page 1, Definition 1.

+1  A: 

Hi,

I'm not very good with the predicate logic myself but became intrigued by your question so I read up and got a fairly good overview of the concept of concrete domains from the part 6.2.1 in "The Description Logic Handbook", it had some examples also.

I'm a new user and can't post links but you will find the book by searching for "concrete domains" on Google (look for books.google.com).

I hope it helps, I found the formal definition hard to get as well! The beginning of part 6.2.1 is good for introduction in the book.

Good luck!

 2009-05-30 13:09:56
Thanks. I still don't get it COMPLETELY, but the info in the book was helpful. Buuut, I think I'll still leave the question open ;)
Exander  2009-06-09 21:53:53

related questions

Pagination Problem [PHP]
Algorithm to determine the "usual" cash payment amounts for a given price
Best way to learn First Order Logic
ASP.NET logic / connection pooling and error handing
Boolean Expression
Boolean logic rule evaluator
Why C++ cannot be parsed with a LR(1) parser?
How do I convert a number to two's complement in verilog?
Correct order for control structure logic (true/false, false/true)?
What problems are best solved with Logic Programming?
Struts Logic Problem
Struts logic tag problem
Looking for simple rules-engine library in .NET
Select Poorly Used Start and End Dates From Facility Table
State and time transending logic and program flow?
Awk scripting help - Logic Issue
Why does "abcd".StartsWith("") return true?
Should LOGIC-techniques be blended into Mainstream Programming?
How to logically organize recurring tasks?
What would be the best algorithm to find an ID that is not used from a table that has the capacity to hold a million rows.
Testing ladder logic
Efficient synthesis of a 4-to-1 function in Verilog
Teaching someone to program
Most succinct way to determine if a variable equals a value from a 'list' of values
C# logic order and compiler behavior