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

:Asset owl:equivalentClass owl:Thing . #100

Closed
vroddon opened this issue Feb 2, 2017 · 2 comments
Closed

:Asset owl:equivalentClass owl:Thing . #100

vroddon opened this issue Feb 2, 2017 · 2 comments

Comments

@vroddon
Copy link
Contributor

vroddon commented Feb 2, 2017

@riannella I find this triple terribly dangerous.

"The meaning of such a class axiom is that the two class descriptions involved have the same class extension (i.e., both class extensions contain exactly the same set of individuals)."

Please note that we are expressing that "any individual IS an :Asset" which is quite different from saying that "anything CAN BE an :Asset". I believe we just wanted to express the latter. Otherwise parties, actions or feelings will be assets.

Can we remove this triple?

@riannella
Copy link
Contributor

Get rid of it!

@vroddon
Copy link
Contributor Author

vroddon commented Feb 2, 2017

done

@vroddon vroddon closed this as completed Feb 2, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants