Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Definition of used FOAF concept causes OWL Profile violation #233

Open
ajnelson-nist opened this issue Feb 8, 2023 · 0 comments
Open

Definition of used FOAF concept causes OWL Profile violation #233

ajnelson-nist opened this issue Feb 8, 2023 · 0 comments

Comments

@ajnelson-nist
Copy link

Hello,

Some concepts from the FOAF ontology are used to annotate the BFO 2.0 ontology - specifically, the foaf:homepage concept is used as an annotation on the Ontology node http://purl.obolibrary.org/obo/bfo.owl.

foaf:homepage is defined in BFO 2.0 as an owl:AnnotationProperty. The FOAF ontology is not imported in BFO. The defining statement is here today in BFO 2.0 (link is to the last commit affecting the 2.0 file, 2015-08-05).

Unfortunately, the most recent version of the FOAF specification defines foaf:homepage as an owl:ObjectProperty. ("Most recent" meaning the 2014 version. The FOAF page currently links to that release stored on the Internet Archive, due to apparent recovery from an event.) This causes a graph that imports both FOAF and BFO to be inconsistent with the OWL 2 DL Profile; see OWL 2 Syntax, Section 5.8.1, "Typing Constraints of OWL 2 DL", especially the last bullet under "Property typing constraints".

I found this issue using this SHACL shape on a graph incorporating BFO's and FOAF's ontology definitions.

Is it possible for this to be corrected in BFO? I'm happy to supply a correcting PR, but am unsure of the policy on accepting contributions, or what file would be appropriate to apply a patch to. (I assume a 2.1 file is under draft somewhere, to restore properties not ported from 1.x to 2.0.)

Relatedly, I'm not sure why foaf:homepage received a local type-definition, but foaf:mbox (used in a similar role in BFO as foaf:homepage) did not. I assume homepage's definition was to relieve applications of networked concept retrievals? If this Issue results in a revision being made to 2.0 or to 2.1, foaf:mbox should also be locally defined as an owl:ObjectProperty.

ajnelson-nist added a commit to Cyber-Domain-Ontology/CDO-Shapes-BFO that referenced this issue Aug 15, 2023
A follow-on patch will regenerate Make-managed files.

References:
* BFO-ontology/BFO#233

Signed-off-by: Alex Nelson <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants
@ajnelson-nist and others