W3C home > Mailing lists > Public > semantic-web@w3.org > January 2013

Defining a term defining relations

From: Jiří Procházka <ojirio@gmail.com>
Date: Fri, 18 Jan 2013 19:43:35 +0100
Message-ID: <50F997D7.2020909@gmail.com>
To: Semantic Web <semantic-web@w3.org>
I got a question regarding semantics (maybe suitable for a different
mailing list? which?) - essentially my question is if term definition
relations can be separated from other relations, which would be in my
opinion useful information for deciding if a definition of a term has
changed - it would enable a semantic processor to know it understands a
term completely.
For example relations "is instance of" (rdf:type) concerning an OWL
class usually don't affect its semantics (unless it's a class defined by
enumeration of instances). Similar for comments in natural language and
other annotations.
I suppose this property of ontology language terms is defined in the OWL
and other respective specifications, but isn't there a value in terms to
define (possibly restrict) the semantics-defining nature of ontology
language terms across various ontology languages in machine readable way
(essentially a meta-ontology language)? Has this been already done?

Jiri Prochazka

Received on Friday, 18 January 2013 18:44:14 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:39 UTC