OWL, rules and reasoning?

Hi all,

into trying to model an existing (relational) metadata structure for a 
given domain as an OWL ontology, I am left with a question I thought to 
be trivial at first, yet I do not completely know how to model them.

Bottom line is something like this:

There are two classes, "Project" and "Document", in our ontology.

"Project" has a data property ("name") attached to it which basically is 
a unique identifier for any individual belonging to this class.

"Document", right now, has a data property "belongsToProject", which 
again is string.

And there's an object property "Document" "belongsTo" "Project". What I, 
right now, would like to do is find a formal definition (in OWL) that a 
"Document" individual "belongsTo" a particular "Project" individual if 
the Documents "belongsToProject" (string) property is equal to the 
Projects "name" (string) property.

I am unsure what's the best solution to do this. So far I encountered 
various different forms of how to define ontology rules, but in most if 
not all cases I ended up right at the point where to define that 
"string" comparison thing.

Is something such as this doable, or am I completely off track and not 
yet thinking "ontology" enough here?


Thanks in advance for any insights.
Kristian

Received on Friday, 12 July 2013 06:47:16 UTC