Sciweavers

900 search results - page 11 / 180
» Formalizing Ontological Commitment
Sort
View
67
Voted
ATAL
2007
Springer
15 years 4 months ago
Enacting protocols by commitment concession
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
Pinar Yolum, Munindar P. Singh
95
Voted
ACOM
2006
Springer
15 years 4 months ago
On the Semantics of Conditional Commitment
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
Shakil M. Khan, Yves Lespérance
DILS
2004
Springer
15 years 3 months ago
On the Application of Formal Principles to Life Science Data: a Case Study in the Gene Ontology
Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have import...
Barry Smith, Jacob Köhler, Anand Kumar
JODS
2007
142views Data Mining» more  JODS 2007»
14 years 10 months ago
Context Dependency Management in Ontology Engineering: A Formal Approach
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
Pieter De Leenheer, Aldo de Moor, Robert Meersman
OTM
2009
Springer
15 years 4 months ago
Positionalism of Relations and Its Consequences for Fact-Oriented Modelling
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
C. Maria Keet