Notes, Documentation and Annotations - OWL Annotation Property vs. Data Property

8 views
Skip to first unread message

Robert Rovetto

unread,
Sep 9, 2021, 11:16:15 AM9/9/21
to ontolog-forum
If you use OWL, and you want to add documentation, notes or annotations, do you prefer using OWL Annotation Properties or OWL Data Properties?

I've seen ontologies do both. For example, a text description, definition or note added as an Annotation Property at times, and at other times using Data Property. assertions for OWL Individuals.

And what do you think are reasons for doing either: using Annotation Properties vs. Data Properties (e.g. with String datatype)?
(e.g., a commonly-stated reason for using OWL Annotation Property is if the content you're adding is not to be reasoned over. But I believe there are ways to reason over even them)

Robert Rovetto
--
Formal ontologist and conceptual modeler.
Actively open to work and PhD study opportunities.
International Association for Ontology & its Applications, Education Technical Committee.

Igor Toujilov

unread,
Sep 9, 2021, 5:13:32 PM9/9/21
to ontolo...@googlegroups.com

Hi Robert,

The OWL standard explicitly exempts annotation properties from DL reasoning. And this is good for interoperability. So, everyone would know that no DL reasoner will try to reason on annotations.

From another hand, object properties and data properties are explicitly dedicated for DL reasoning. So, if you use an object property or a data property and do not expect it to be used for DL reasoning, then you misuse OWL.

This divide helps to achieve interoperability. In any programming language, executable code is disjoint from comments. No one expects for a compiler to compile executable code from comments. So, consider OWL as a programming language.


Cheers,

Igor



--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see http://ontologforum.org/info/
---
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/2d0db002-109a-445b-b81c-77feed585c09n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages