Semantic Coordination via Tuple Centres

Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build complex concepts from simpler ones, an emphasis on the decidability of key reasoning tasks, and by the provision of sound, complete and (empirically) tractable reasoning services.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005

Encyclopedia of Knowledge Management, 2000

Handbook on Ontologies, 2004

2004

Tuple Spaces offer a coordination infrastructure for communication between autonomous entities by providing a logically shared memory along with data persistence, transactional security as well as temporal and spatial decoupling – properties that make it desirable in distributed systems for e-commerce and pervasive computing applications. In most Tuple Space implementations, tuples are retrieved by employing type-value matching of ordered tuples, object-based polymorphic matching, or XML-style pattern matching. In a heterogeneous environment, this can pose several limitations. This paper discusses the architecture and implementation of a prototype semantic infrastructure, which uses Semantic Web technologies to represent and retrieve tuples from a Tuple Space. Semantic Tuple Spaces (sTuples) overcomes limitations of the JavaSpaces Tuple Space implementation, by making use of a web ontology language and RACER, a description-logic reasoning engine. The sTuples infrastructure extends a...

An OWL-DL implementation of the General Ontology for Linguistic Description (GOLD) is presented with relevant examples of axioms given throughout. As background, an introduction to Description Logic is presented using examples from linguistics and with particular attention to the logic which most closely relates to OWL-DL. The types of axioms used to develop an ontology in OWL-DL are explained. In addition, a domain independent methodology is given for creating description-logic based ontologies of any kind, not just those for linguistics. Using the thinspace notation, the methodology is demonstrated for the linguistics domain with particular attention given to illustrating the use of each type of axiom. Finally, the relevant issues and limitations to linguistic modeling in WL-DL are discussed.

Due to the enormous growth of the volume of data and different structures, information systems are becoming increasingly complex. The Semantic Web aims to find, share and refine the information of current web more easily. The Semantic Web is a solution for representing the data in a machine understandable manner. Ontology is a powerful technology for representing the data in semantic web. Web Ontology Language (OWL) has been accepted as the knowledge representation standard by W3C. This paper proposes a unified and integrated framework, i.e., an Extended Hierarchical Censored Production Rules (EHCPRs) Framework for representing ontologies in Semantic Web, maintaining the knowledge treasures and doing reasoning over it. In addition, assuming that the framework is in place and is adopted, an algorithm is provided to convert the existing OWL ontologies into the EHCPRs Ontologies.The Protégé tool is used to create a trivial Vehicle Ontology and using the developed algorithm, it is converted into EHCPRs Ontology with no loss of information, i.e., preserving all the classes, their attributes and instances.

Encyclopedia of Complexity and Systems Science, 2009

2000