John (01)
An interesting observation re gross level vs. detailed level. (02)
Clearly, the tabula rasa hierarchy is a gross level ontology.
See http://mkrmke.org/kb/TabulaRasa.ho
(most axioms omitted). (03)
Note that tabula rasa distinguishes several kinds
of properties (characteristics) according to
space-time dependence and number of existents involved.
The mKR language uses different verbs and pplists
for these different kinds of properties. (04)
Contrast this to RDF/RDFS, which has only one kind of
Property, and OWL which has only two. (05)
Dick McCullough
http://mkrmke.org (06)
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Thursday, March 12, 2009 6:45 AM
Subject: [ontolog-forum] International Alliance for Interoperability (07)
> The subject line above states the name of an organization that
> is devoted to interoperability. That particular organization has
> its roots in the building industry, but every branch of science,
> engineering, and business has similar organizations.
>
> As an example of what they do, see their description of IFD:
>
> International Framework for Dictionaries (ISO 12006-3) is a
> library with terminology and ontologies assisting in identifying
> the type of information being exchanged. It is developed with
> the purpose of adding value to the IFCs and is language and
> culture independent.
>
> The International Framework for Dictionaries (IFD) (ISO 12006-3)
> standard is developed by ISO TC 59/SC 13/WG 6. Many of the members
> of the work group are also members of International Construction
> Information Society (ICIS ). The IFD standard has many similarities
> with the EPISTLE standard for the Oil and Gas industry.
>
> While the IFC standard describes objects, how they are connected,
> and how the information should be exanged and stored, the IFD
> standard uniquely describe what the objects are, and what
> properties, units and values they can have. IFD provides the
> dictionary, the definitions of concepts, the relationships between
> them and the common understanding necessary for the communication
> to flow smoothly.
>
> Source:
>
> http://www.iai-tech.org/products/related-specifications/ifd_specification
>
> That web page has a link to "IFD in a Nutshell", which gives examples:
>
> http://dev.ifd-library.org/index.php/Ifd:IFD_in_a_Nutshell
>
> The following diagram describes 'door':
>
>
http://dev.ifd-library.org/images/thumb/8/8d/Ontology.png/450px-Ontology.png
>
> That diagram uses relations with the following names: 'is a type of',
> 'is a part of', 'consists of', 'can be', and 'relates to'.
>
> Those five relations by themselves (including the catchall 'relates to')
> provide a gross level classification, but they aren't sufficient for
> detailed reasoning. However, they are very important for searching,
> classifying, and natural language analysis and disambiguation.
>
> That level of detail is certainly insufficient for designing doors
> that can be interchanged among different buildings. Those details,
> however, have always been stated in very low-level specifications,
> such as traditional blueprints or CAD/CAM programs.
>
> Those two levels of specification are typical of every field:
>
> 1. A gross-level classification with very few relation types and
> few if any axioms.
>
> 2. A precise, extremely detailed specification that can support
> extended reasoning, computation, construction, and assembly.
>
> At the gross level, there is very little difference between an
> ontology and a terminology. The detailed levels are where all
> the complex reasoning and computations are carried out.
>
> If our ontology proposals are to be useful in practice, it is
> essential for us to recognize those two levels and incorporate
> them in any proposed standards or guidelines.
>
> John Sowa
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
> (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (09)
|
