Sciweavers

222 search results - page 24 / 45
» On labeling schemes for the semantic web
Sort
View
LREC
2010
168views Education» more  LREC 2010»
14 years 11 months ago
Formal Description of Resources for Ontology-based Semantic Annotation
Ontology-based semantic annotation aims at putting fragments of a text in correspondence with proper elements of an ontology such that the formal semantics encoded by the ontology...
Yue Ma, Adeline Nazarenko, Laurent Audibert
SEMWEB
2010
Springer
14 years 7 months ago
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
Carlos Viegas Damásio, José Jú...
ICFEM
2010
Springer
14 years 8 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
IEEESCC
2005
IEEE
15 years 3 months ago
Web Services Composition: A Story of Models, Automata, and Logics
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
Richard Hull
SBBD
2004
133views Database» more  SBBD 2004»
14 years 11 months ago
Query Processing in ROSA Data Model
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...
Fábio Coutinho, Fabio Porto