Sciweavers

243 search results - page 16 / 49
» An Algebra for Composing Ontologies
Sort
View
FCT
1999
Springer
14 years 22 days ago
Tile Transition Systems as Structured Coalgebras
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
Andrea Corradini, Reiko Heckel, Ugo Montanari
ICDE
2000
IEEE
125views Database» more  ICDE 2000»
14 years 9 months ago
An Algebraic Compression Framework for Query Results
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
Zhiyuan Chen, Praveen Seshadri
AI
2010
Springer
13 years 8 months ago
Logic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...
WECWIS
2008
IEEE
98views ECommerce» more  WECWIS 2008»
14 years 2 months ago
Visualizing Compositions of Services from Large Repositories
Creating a Service-Oriented Architecture requires the identification of services to be composed together in order to solve a given need. Currently, software engineers perform thi...
Marco Aiello, Johan van Benthem, Elie el Khoury
CAISE
2008
Springer
13 years 10 months ago
Reasoning about Substitute Choices and Preference Ordering in e-Services
e-Services are just like normal services, but can be ordered and provisioned via the Internet completely. Increasingly, these e-services are offered as a multi-supplier bundle of e...
Sybren de Kinderen, Jaap Gordijn