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

Error when using object property in axiom with "only" quantifier #162

Open
kataph opened this issue Aug 21, 2022 · 4 comments
Open

Error when using object property in axiom with "only" quantifier #162

kataph opened this issue Aug 21, 2022 · 4 comments

Comments

@kataph
Copy link

kataph commented Aug 21, 2022

In my ontology there is an object property, say "my-object-property".
When I try execute a rule such as:

Class: @B*
SubClassOf: my-object-property some @F*

everything works fine. But if I try to execute the rule

Class: @B*
SubClassOf: my-object-property only @F*

the error "Property <[Ontology IRI]#my-object-property> is not an object property" is displayed.
Can this error be resolved and/or is there any workaround?

@martinjoconnor
Copy link
Member

Can you post an OWL ontology containing my-object-property that I can test with.

Also make sure you are using the latest 2.2.1 version of Cellfie.

@kataph
Copy link
Author

kataph commented Aug 22, 2022

@martinjoconnor Thank you for your attention.
The problem can be reproduced on any ontology, just use e.g. owl:topObjectProperty as object property, the rest of the ontology can be empty. You can also use any worksheet with any data: just put some random values inside the columns B and F (analogously if you change the columns in the rules).
I investigated a little bit more and realized that the error props up exactly when there are empty cells in the F column.
Modifying the rule in eg

Class: @B*
SubClassOf: owl:topObjectProperty only @F*(mm:ProcessIfEmptyLocation) 

Creates a class with null ID and uses it to implement the axiom. Attempting to use the options mm:SkipIfEmptyLocation or Warning does not result in any axioms being written, even if there are rows where the value of the cells in the F column is not empty (notice that this is not the behaviour of the "some" quantifier).

With this information I can find a workaround for the issue.

@kataph
Copy link
Author

kataph commented Aug 22, 2022

For sake of completeness, I attach a possible combination of files that reproduces the issue.
error.zip

Finally, my version of Cellfie should be the current one.

@martinjoconnor
Copy link
Member

Thanks for the detailed report. I'll try to take a look at this in the next week or so.

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