Search code examples
rdfowlbpmndescription-logic

Applying Description Logic to a model

im kinda new to dl. I tried to adapt the knowledge from this post: How to express this individual in Description logic

AKSW kindly helped me out to describe axioms in dl. I applied the knowlede to my Model. I just wanted to double check, not making any design errors (you dont need to check every detail). This is how the model looks like BPMN: BPMN Model

I tried to copy it into this question for 10 min, but when copying it the formatation was totally messy( another thing i need to learn :P). Sorry for not putting it directly into this question. DL Logic.doc

edit: how can i describe a object property with domains and ranges in dl?

object property: travelTo

with the domain: France, Germany

and Ranges: Italy, Spain

i would do it as fallowing:

travelTo(France, Italy)

travelTo(France, Spain)

or ---------------------------

France(travelTo,Italy)

France(travelTo, Spain)

Germany(travelTo,Italy)

France(travelTo, Spain)

any suggestions?

best regards Richard

Solution

  • Domains and ranges of object properties are supposed to be classes. From my point of view it doesn't make sense to use specific countries as domain or range. Are you sure about this?

    The typical way would be to use a class Country and use this as range of the object property travelTo. There is no specific construct for range in DL syntax, but a range axiom is just syntactic sugar.

    Given that r is the object property and C the domain (resp. range), you can express it in DL syntax with:

    Domain(r, C):

    ∃r.⊤ ⊑ C

    Range(r, C):

    ⊤ ⊑ ∀ r.C