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

equivalentClass axioms #53

Open
GoogleCodeExporter opened this issue Apr 5, 2015 · 0 comments
Open

equivalentClass axioms #53

GoogleCodeExporter opened this issue Apr 5, 2015 · 0 comments

Comments

@GoogleCodeExporter
Copy link

What steps will reproduce the problem?
0. i installed the browser at http://s1.semanticscience.org:8080/browser/

1. I loaded an ontology 
http://translationalmedicineontology.googlecode.com/svn/trunk/ontology/tmo.owl

which includes an owl:imports for
http://translationalmedicineontology.googlecode.com/svn/trunk/ontology/tmo-exter
nal.owl

but when i look at the class hierarchy
http://s1.semanticscience.org:8080/browser/classes/-200689702/?session=13123156c
17-3-13123157b76

it doesn't appear like it does in protege in that there are many classes as 
subClassOf owl:Thing, when many of these are more specific subClassOf, but is 
specified in equivalentClass axioms.  This still happens even if i turn the 
hermit reasoner on.

Original issue reported on code.google.com by michel.dumontier on 13 Jul 2011 at 10:44

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

1 participant