Re: [CL] The Decidability Fetish
Wouldn't you have the following implied by simply saying that an
ontology is a shared collection of formal definitions and axioms?
(Just a question, I am not saying that it is not worth stating
those implications).
> ... "An ontology is a formal, explicit specification of a shared
> conceptualization. It is an abstract model of some phenomena in the world,
> explicitly represented as concepts, relationships and constraints, which is
> machine-readable and incorporates the consensual knowledge of some
> community."
>
> * [Semantic conceptualization:] Since it is "an abstract model of some
> phenomena in the world" it is a semantic conceptualization.
> * [Logic-oriented:] Since it involves "concepts, relationships and
> constraints" it is logic oriented.
> * [Formal and explicit:] Since it is "machine-readable" it is formal and
> explicit.
> * [Shared and relative:] Since it "incorporates the consensual knowledge of
> some community" it is shared and relative.
Philippe