Sciweavers

674 search results - page 2 / 135
» Numeric reasoning in the Semantic Web
Sort
View
IEEECIT
2005
IEEE
13 years 11 months ago
Sharing Ontology Schema Information for Web Service Integration
In spite of many standards efforts, Web services with similar or compatible functionalities often have heterogeneous semantics. One reason is the disparate ontologies used for ser...
Jingshan Huang, Rosa Laura Zavala Gutierrez, Benit...
EWIMT
2004
13 years 6 months ago
Reasoning on the Web: Language Prototypes and Perspectives
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
Sacha Berger, François Bry, Bernhard Lorenz...
APSEC
2004
IEEE
13 years 9 months ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
IJWET
2007
152views more  IJWET 2007»
13 years 5 months ago
Semantic web technologies for ubiquitous computing resource management in smart spaces
: Context-aware ubiquitous computing environments tend to be highly distributed and heterogeneous, while also featuring increased dynamism as elements, devices and middleware compo...
John Soldatos, Kostas Stamatis, Siamak Azodolmolky...
JAIR
2012
205views Hardware» more  JAIR 2012»
11 years 7 months ago
COLIN: Planning with Continuous Linear Numeric Change
In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantic...
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek ...