Title :
Knowledge Integration in OpenWorlds: Utilizing the Mathematics of Hierarchical Structure
Author :
Joslyn, Cliff A. ; Verspoor, Karin M. ; Gessler, Damian D G
Author_Institution :
Los Alamos Nat. Lab., Los Alamos
Abstract :
Semantic Web services present a new challenge in distributed knowledge integration. Under the Simple Semantic Web Architecture and Protocol (SSWAP, http://sswap.info), Web resources publish information about their data and services in terms of OWL ontologies. With semantic tagging, the output of one service can drive the input of another, presenting the alluring prospect of machines autonomously assessing the suitability of Web resources for distributed workflows. Ontological reasoning under OWL greatly expands the potential for semantic Web service interoperability by guaranteeing the compatibility of resources using such techniques as inferencing, typing, and class subsumption. Formal methods for managing such structures are urgently needed. Recent advances in the mathematics of hierarchies can formalize the construction of synthetic hierarchies from unstructured information, identifying mutual subsumption architectures. Here we examine the problem space and describe the promise of mathematical order theory (formal concept analysis and lattice metrics) for advancing knowledge integration in open worlds.
Keywords :
Web services; ontologies (artificial intelligence); open systems; semantic Web; OWL ontologies; Simple Semantic Web Architecture and Protocol; Web resources; formal concept analysis; formal methods; hierarchical structure mathematics; interoperability; knowledge integration; lattice metrics; mathematical order theory; semantic Web services; semantic tagging; HTML; Humans; Mathematics; OWL; Ontologies; Semantic Web; Simple object access protocol; Web pages; Web services; XML;
Conference_Titel :
Semantic Computing, 2007. ICSC 2007. International Conference on
Conference_Location :
Irvine, CA
Print_ISBN :
978-0-7695-2997-4
DOI :
10.1109/ICSC.2007.82