Sciweavers

539 search results - page 97 / 108
» The Semantic Gap of Formalized Meaning
Sort
View
ASP
2003
Springer
15 years 2 months ago
Mappings Between Domain Models in Answer Set Programming
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
Stefania Costantini, Andrea Formisano, Eugenio G. ...
COMPSAC
2002
IEEE
15 years 2 months ago
From MSC and UML to SDL
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
Stephan Bourduas, Ferhat Khendek, Daniel Vincent
117
Voted
SSD
1993
Springer
152views Database» more  SSD 1993»
15 years 1 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
SIGMOD
1990
ACM
76views Database» more  SIGMOD 1990»
15 years 1 months ago
Querying Database Knowledge
The role of database knowledge 1susually limited to the evaluation of data queries In this paper we argue that when this knowledge 1sof substantial volume and complexity, there 1s...
Amihai Motro, Qiuhui Yuan
ATAL
2004
Springer
15 years 1 months ago
A Model of Almost Everything: Norms, Structure and Ontologies in Agent Organizations
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
Virginia Dignum, Javier Vázquez-Salceda, Fr...