Sciweavers

900 search results - page 17 / 180
» Formalizing Ontological Commitment
Sort
View
VLDB
1990
ACM
83views Database» more  VLDB 1990»
15 years 2 months ago
A Formal Approach to Recovery by Compensating Transactions
Compensating transactions are intended to handle situations where it is required to undo either committed or uncommitted transactions that affect other transactions, without resor...
Henry F. Korth, Eliezer Levy, Abraham Silberschatz
ADVIS
2006
Springer
15 years 4 months ago
Contextual Ontologies
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
Djamal Benslimane, Ahmed Arara, Gilles Falquet, Za...
SEMWEB
2004
Springer
15 years 3 months ago
HCOME: A Tool-Supported Methodology for Engineering Living Ontologies
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
Konstantinos Kotis, George A. Vouros, Jerón...
FOIS
2010
14 years 11 months ago
Realism for scientific ontologies
Science aims to develop an accurate understanding of reality through a variety of rigorously empirical and formal methods. Ontologies are used to formalize the meaning of terms wit...
Michel Dumontier, Robert Hoehndorf
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
14 years 8 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen