An ER conceptual schema can be expressed in a suitable description logic theory.A role in DL jargon is a property in OWL.A concept in DL jargon is referred to as a class in OWL.DL vs OWL (from Description Logic Wikipedia):.Good for representing most interesting domains, but inference is not only expensive, but may not terminate. First-order logic: we can now talk about objects and relations between them, and we can quantify over objects.The more restricted the representational power, the faster the inference in general. Logics differ in terms of their representation power and computational complexity of inference.Complexity - resources needed for computing the solution.Decidability of entailment problem - there exists a (terminating) algorithm to compute entailment.Completeness of entailment procedure - all correct conclusions are drawn. Correctness of entailment procedure - no false conclusions are drawn.Expressive Power of representation language - able to represent the problem.Reasoning: logical inference, "processing knowledge" (implicit knowledge has to be made explicit).
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |