----- Daniel B. -- Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html _______________________________________________ protege-user mailing list [hidden email] https://mailman.stanford.edu/mailman/listinfo/protege-user
Re: HermiT Reasoner freezes Protegé upon "value" class assertion in Class Equivalent To
Thanks for the reference! I am actually trying to build a very specific
ontology and, although that is a great reference, I am trying to create an
ontology with that type of entities and classes myself.
Thank you again though. I will still look for why the reasoner does this. It
shouldn't have to do with what I'm trying to do but HOW I'm doing it
instead, I think.
HermiT 126.96.36.1996 has processed your ontology in seconds on my machine: Protégé 5.5.0, Java: JVM 1.8.0_121-b13 Memory: 466M on Ubuntu.
Do you use a similar configuration?
> Sent: Wednesday, May 06, 2020 at 9:54 AM
> From: "Daniel B." <[hidden email]>
> To: [hidden email] > Subject: [protege-user] HermiT Reasoner freezes Protegé upon "value" class assertion in Class Equivalent To
> Hi there! Me again :D
> One question. I am currently using the following class assertion in the
> Equivalent To section of my class 'Time Fundamental Unit of Measurement':
> 'has dimension' value 'Time (Dimension)'
> The intention is to assert that any entity with the object property 'has
> dimension' with the value 'Time (Dimension) is an instance of the class
> 'Time Fundamental Unit of Measurement'.
> When the class assertion is asserted and the HermiT Reasoner is started,
> Protegé Freezes.
> This problem doesn't arise when the 'some' class assertion is used (E.g.
> 'has dimension' some 'Dimension'), instead of the one described above using
> Here is my ontology in case you would like to reproduce the error.
> Ontology <http://protege-project.136.n4.nabble.com/file/t377156/archive.ttl>
> Thank you.
> Daniel B.
> Sent from: http://protege-project.136.n4.nabble.com/Protege-User-f4659818.html > _______________________________________________
> protege-user mailing list
> [hidden email] > https://mailman.stanford.edu/mailman/listinfo/protege-user >