Search Mailing List Archives
[p4-feedback] Why max operator doesnt work when min operator works
swt at stanford.edu
Thu Nov 14 17:24:26 PST 2013
The max operator has the same issue as "only fun title" restriction: OWL's open world assumption means a tv series may be unstated years of releases. "Min" works because if a tv series is released in years 1, 2, 3, that's sufficient to prove hasReleaseYear >= 2, but not sufficient to prove hasReleaseYear < 10.
One way to get the max operator to work is to add axioms that explicitly say how many release years a tv series has: TVSeries2343 is an individual of (hasReleaseYear exactly 2).
On Nov 14, 2013, at 1:52 PM, buksy <jjtusan at gmail.com> wrote:
> and what about the min & max operator? Why does max operator doesn't work?
> Could you please suggest how to edit ontology to make max operator work?
> View this message in context: http://protege-project.136.n4.nabble.com/Why-max-operator-doesnt-work-when-min-operator-works-tp4659458p4659476.html
> Sent from the Protege-OWL 4.x Support mailing list archive at Nabble.com.
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
More information about the p4-feedback