[DL] correct understanding of DL semantics
franconi at inf.unibz.it
Fri Oct 5 13:09:42 CEST 2007
in the standard semantic setting for DL you are referring to,
everything is to be considered static, i.e., the interpretation of
concepts, roles, and individual is to be considered just as the
description of a single state and it is fixed in time, and so it does
Your example should be modelled either as an ABox update, and the
semantics of your updated knowledge base is exactly the one that
holds at the end of the update, regardless of what was true before
the update - i.e., it does not depend on previous states.
If you want to characterise some sort of dependencies between states
due to the cahnges, then you have to adopt a more sophisticated (non-
standard) (description) logic formalising these aspects.
On 21 Sep 2007, at 01:36, Chuming Chen wrote:
> Dear All,
> I am new to Description Logics. I am trying to understand the
> correct semantics
> of Description Logics. especially, the changes in semantics.
> I know DL Semantics is defined by interpretations. An
> interpretation I
> = (Delta^I, .^I), where Delta^I is the domain of interpretation (a
> non-empty set) and
> .^I is an interpretation function that maps:
> Concept (class) name A to subset of Delta^I, Role (property) name R to
> a binary relation R over Delta^I, Individual name i to an element of
> Now let's see an example, if I have concepts "Lawyer" and "Doctor",
> role "hasChild", John is a "Lawyer" and Mary is "Doctor", John
> "hasChild" Mary. But later on in my model, Mary gets another degree
> becomes "Lawyer" also. Now Mary is both "Lawyer" and "Doctor". Do the
> semantics of "Laywer", "Doctor", even "hasChild" change in this case?
> Because if we treat concept as a subset of domain, adding Mary to
> "Lawyer" certainly change the set for that concept. If role is a
> of pair of elements in the domain, would that be changed too? Can
> we still think Mary is the same Mary? What are the correct
> understanding of semantics here?
> I might be missing something obvious here. But mathematically
> speaking , the set
> has been changed. Would the semantics be changed also?
> Thank you for any comments!
> Chuming Chen
> ** You received this mail via the description logic mailing list;
> for more **
> ** information, visit the description logic homepage at http://
> dl.kr.org/. **
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 2425 bytes
Desc: not available
More information about the dl