Sciweavers

700 search results - page 8 / 140
» A Tools Environment for Developing and Reasoning about Ontol...
Sort
View
AINA
2005
IEEE
15 years 3 months ago
A Distributed Ontology Framework in the Semantic Grid Environment
This paper explores a distributed ontology framework for tailoring ontologies in the Semantic Grid environment. The framework is divided into five main categories; Ontology Proce...
Andrew Flahive, J. Wenny Rahayu, David Taniar, Ber...
DEXAW
2008
IEEE
91views Database» more  DEXAW 2008»
15 years 4 months ago
Dynamic Taxonomies for the Semantic Web
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
Pierre Allard, Sébastien Ferré
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
15 years 3 months ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
PERCOM
2004
ACM
15 years 9 months ago
Ontology Based Context Modeling and Reasoning using OWL
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...
Xiaohang Wang, Daqing Zhang, Tao Gu, Hung Keng Pun...
SGAI
2004
Springer
15 years 3 months ago
Managing ontology versions with a distributed blackboard architecture
Ontology versioning deals with the management of ontology changes, including the evaluation of the consequences arising from these changes. We describe a distributed, “pluggable...
Ernesto Compatangelo, Wamberto Vasconcelos, Bruce ...