A formal approach to knowledge base comparison and interoperability
D Corbett - On The Move to Meaningful Internet Systems 2003 …, 2003 - Springer
D Corbett
On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops: OTM …, 2003•SpringerThis section draws on previous work on formal definitions for knowledge representation as
defined by Conceptual Graph Theory [1–3]. We first define a background universe for our
ontologies to exist in, which will give substance and order to the ontologies. The canon
defines all the individuals that can exist, all possible relations between the individuals, and
also imposes an ordering on the types of individuals and relations.
defined by Conceptual Graph Theory [1–3]. We first define a background universe for our
ontologies to exist in, which will give substance and order to the ontologies. The canon
defines all the individuals that can exist, all possible relations between the individuals, and
also imposes an ordering on the types of individuals and relations.
Abstract
This section draws on previous work on formal definitions for knowledge representation as defined by Conceptual Graph Theory [1–3]. We first define a background universe for our ontologies to exist in, which will give substance and order to the ontologies. The canon defines all the individuals that can exist, all possible relations between the individuals, and also imposes an ordering on the types of individuals and relations.
Springer
Showing the best result for this search. See all results