I
think “enact” may have been misunderstood to imply only
automated reasoning, which was not my intent. Part of
enacting any description (which is what an ontology
ultimately is) may be primarily a human enactment gained
from the mutual understanding of the ontology. What the
formalism of ontology provides is the ability for the human
and automated enactment to be more synchronized and
reliable.
-Cory
Cory, David,
Interjecting one small comment:
On 02/02/2012 02:36, David Price wrote:
On 2/2/2012 1:37 AM, Cory Casanave wrote:
...
the entire point of ontologies is to be able to “enact” what
the ontology implies.
Hi Cory,
...the entire point of ontologies is actually the formal
clarity of definition that other technologies lack.
Surely both of these is a point of an ontology. Neither of
them is the entire point, they are just the entire point of an
ontology that one or another person has created.
Part of knowing if an ontology does what it was intended to
do, is to have some clarity of what it is intended to do.
To some, being able to reason over an ontology and carry out
semantic technology applications is the only reason to do one,
and so for that ontology, that is the reason for it and the
reason against which one can determine if it is right or not.
To others, being able to formally pin down the meanings of
concepts in some domain (perhaps for formally specifying the
terms that are to be designed for in a database or message
application, or perhaps not), is the only reason for doing
that ontology. So different verification and validation
measures would apply. In both cases, it's wise to write down
what you thought was obvious to everybody, because (a) nothing
is ever as obvious as you think and (b) it might not have been
the only reason to do a thing.
Mike
--
Managing Director and Consultant
TopQuadrant Limited. Registered in England No. 05614307
UK +44 7788 561308
US +1 336-283-0606
_________________________________________________________________
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/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012
Community Portal: http://ontolog.cim3.net/wiki/
--
Mike Bennett
Director
Hypercube Ltd.
89 Worship Street
London EC2A 2BF
Tel: +44 (0) 20 7917 9522
Mob: +44 (0) 7721 420 730
www.hypercube.co.uk
Registered in England and Wales No. 2461068