On Apr 1, 2008, at 10:30 AM, Pat Hayes wrote: (01)
> At 11:15 AM -0400 4/1/08, Barry Smith wrote:
>> 6./ did not come from me, but was a result of an earlier discussion
>> on this list.
>> It means, e.g., that if the ontology is in OWL, then it should
>> support OWL reasoners.
>
> ? What does that mean? That it should not produce errors when tested
> using OWL reasoners? That would seem to be reasonable. Maybe the OOR
> should offer 'validation' tools to check at least syntactic
> correctness, or require ontologies to have evidence of external
> validation. (02)
Then you have to be specific as to which reasoner: the state of the
art is such, that depending on the constructs you use, your ontology
can be perfectly valid OWL, but some OWL reasoners will not be happy
with it, whereas others would think it is just fine. (03)
I think it is reasonable to include the validation information as
metadata, along with the specific reasoner used, but perhaps not as a
requirement, just because it can be quite vague. (04)
Natasha (05)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2008/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2008
Community Portal: http://ontolog.cim3.net/ (06)
|