A formally specified ontology management API as a registry for ubiquitous computing systems
Applied IntelligencePublished 19 July 2007
Alexander Paar, Jürgen Reuter, John Soldatos, Kostas Stamatis, Lazaros Polymenakos
Citations15
SJR quartileQ2
SJR score0.93
SNIP1.21
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
An ontological Knowledge Base Server is implemented, which can expose the functionality of arbitrary off-the-shelf ontology management systems via a formally specified and well defined API and is carried out in order to demonstrate the feasibility of the approach to use a formally specified ontological management API to implement a registry for ubiquitous computing systems.
Abstract
Recently, several standards have emerged for ontology markup languages that can be used to formalize all kinds of knowledge. However, there are no widely accepted standards yet that define APIs to manage ontological data. Processing ontological information still suffers from the heterogeneity imposed by the plethora of available ontology management systems. Moreover, ubiquitous computing environments usually comprise software components written in a variety of different programming languages, which makes it particularly difficult to establish a common ontology management API with programming language agnostic semantics. We implemented an ontological Knowledge Base Server, which can expose the functionality of arbitrary off-the-shelf ontology management systems via a formally specified and well defined API. A case study was carried out in order to demonstrate the feasibility of our approach to use a formally specified ontology management API to implement a registry for ubiquitous computing systems.
Keywords
Computer ScienceBusiness, Management and Accounting
Cambridge University Press eBooksThe Description Logic Handbook
6,212 Citations2007Franz Baader, Franz Baader +17 more
Communications of the ACMAn axiomatic basis for computer programming
3,886 Citations1969C. A. R. Hoare
An attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics by elucidation of sets of axioms and rules of inference.
The Z notation: a reference manual
2,897 Citations1992Justin M Spivey
The Description Logic Handbook
1,884 Citations2009Franz Baader, Diego Calvanese +3 more
Communications of the ACMAn axiomatic basis for computer programming
1,525 Citations1983C. A. R. Hoare
Service Location Protocol, Version 2
752 Citations1999E. Guttman, Colin Perkins +2 more
The Service Location Protocol provides a scalable framework for the discovery and selection of network services for network based applications and is especially important as computers become more portable, and users less tolerant or able to fulfill the demands of network system administration.
Elsevier eBooksLIVING WITH CLASSIC
400 Citations1991Ronald J. Brachman, Deborah L. McGuinness +3 more
By analyzing the representational strengths and weaknesses of CLASSIC, this work considers the circumstances under which it is most appropriate to use (or not use) it and addresses some of the key difficult issues encountered by new users.
IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)A Fuzzy Ontology and Its Application to News Summarization
357 Citations2005Chang-Shing Lee, Zhi-Wei Jian +1 more
The experimental results show that the news agent based on the fuzzy ontology can effectively operate for news summarization and an experimental website is constructed to test the approach.
Artificial IntelligenceFoundations of a functional approach to knowledge representation
352 Citations1984Hector J. Levesque
A new approach to knowledge representation where knowledge bases are characterized not in terms of the structures they use to represent knowledge, but functionally, in Terms of what they can be asked or told about some domain, which cleanly separates functionality from implementation structure.
Lecture notes in computer scienceThe FaCT System
288 Citations1998Ian Horrocks
FaCT is a Description Logic classifier which has been implemented as a test-bed for a highly optimised tableaux satisfiability (subsumption) testing algorithm.
IEEE Intelligent SystemsSearching the Semantic Web: Approximate Query Processing Based on Ontologies
132 Citations2006Olivier Corby, Rose Dieng-Kuntz +2 more
This paper focuses on ontologies, which are the foundations of the semantic Web and the keystone of the Web's automated tasks - searching, merging, sharing, maintaining, customizing, and monitoring.
Description LogicsFaCT and iFaCT.
109 Citations1999Ian Horrocks
iFaCT is an extension of FaCT that supports reasoning with inverse roles and the resulting logic is particularly interesting as it no longer has the finite model property.
International Journal of Human-Computer StudiesGUI objects with impenetrable borders: Instruction (not practice) makes perfect
76 Citations2005Keith S. Jones, Brian R. Johnson +1 more
The results demonstrated that participants receiving limited instruction selected targets with impenetrable borders faster than participants who selected objects with a penetrable border, however, an exploratory comparison suggests that only 50% of participants who received limited instruction actually detected the impenettable border.
Medical Entomology and ZoologyANSI Common Lisp
72 Citations1995Paul Graham
1. Welcome to Lisp, a beginners' guide to the language and some examples of applications.
Computer CommunicationsAgent based middleware infrastructure for autonomous context-aware ubiquitous computing services
68 Citations2006John Soldatos, Ippokratis Pandis +3 more
This paper presents the design and implementation of a middleware infrastructure for ubiquitous computing services, which facilitates development of ubiquitous services, allowing the service developer to focus on the service logic rather than the middleware implementation.
Information SciencesA genetic fuzzy agent using ontology model for meeting scheduling system☆
60 Citations2005Chang-Shing Lee, Chao Jiang +1 more
A Genetic Fuzzy Agent using the ontology model for Meeting Scheduling System (MSS) is presented in this paper and the experimental results show that the approach can effectively work for MSS.
A Proposal for a Description Logic Interface
60 Citations1999Sean Bechhofer, Ian Horrocks +2 more
Most description logic (DL) systems present the application programmer with a functional interface, often dened using a Lisp-like syntax, and a mechanism is provided for applications to communicate with the DL system, either locally or remotely.
Academic MedicineStanford University School of Medicine
55 Citations2007Ruthann Richter
There has been ample testimony that the staff reductions now proposed will result in tangible inhumanities to a whole range of patients in State institutions, from mentally retarded children to alcoholics and senile psychotics.
International Journal of Human-Computer StudiesGAS Ontology: An ontology for collaboration among ubiquitous computing devices
49 Citations2005Eleni Christopoulou, Achilles Kameas
The invention concerns polymeric basic amides produced by reacting a polymer containing carboxyl groups and a polyamine which contains an alkyl or alkenyl radical which in the form of their acid salts are water-dispersible and useful textile softeners.
Personal and Ubiquitous ComputingA breadboard architecture for pervasive context-aware services in smart spaces: middleware components and prototype applications
47 Citations2006John Soldatos, N. Dimakis +2 more
An architectural framework along with a set of middleware elements, facilitating the integration of perceptual components, sensors, actuators, and context-modeling scripts, comprising sophisticated ubiquitous computing applications in smart spaces is presented.
Information Systems and e-Business ManagementUbiquitous computing: connecting Pervasive computing through Semantic Web
44 Citations2005Sachin Kumar Singh, Sushil Puradkar +1 more
A framework that uses the potential of the Semantic Web to weave Pervasive computing environments into a Ubiquitous computing environment is proposed and tested through a small scenario from a prototype system that is implemented over this framework to handle medical emergency scenario.
Description logic in practice: a CLASSIC application
27 Citations1995Deborah L. McGuinness, Lori Alperin Resnick +1 more
This work has developed a smaller-scale configurat ion appl icat ion that has analogous reasoning processes but a more approachable domain—that of home theater systems.
An Ontology-based Framework for Dynamic Resource Management in Ubiquitous Computing Environments
24 Citations2006I. Pandis
This paper introduces a framework for implementing ubiquitous computing services comprising a large number of sensors and perceptive interfaces, emphasizing the role of knowledge bases for dynamic registration and invocation of resources.
A cooperative multi-agent platform for invention based on ontology and patent document analysis
10 Citations2005Von‐Wun Soo, Szu‐Yin Lin +3 more
A pluggable architectural model and a formally specified programming language independent API for an ontological knowledge base server
8 Citations2005Alexander Paar, Jürgen Reuter +1 more
An ontological Knowledge Base Server is implemented, which can expose the functionality of arbitrary off-the-shelf ontology management systems via arbitrary remoting protocols and is formally specified, such that it could be used to validate implementations based on three different adapted ontological management systems.
Efficient Source Discovery and Service Composition for Ubiquitous Computing Environments
8 Citations2004Abir Qasem, Jeff Heflin +1 more
This work incorporates Local Closed World reasoning with HTN planning with a concept of “source relevance” to control the search process on the Semantic Web and describes a prototype agent that is developed.
IFIP International Federation for Information Processing/IFIPA Formally Specified Ontology Management API as a Registry for Ubiquitous Computing Systems
5 Citations2006Alexander Paar, Jürgen Reuter +3 more