Sciweavers

2599 search results - page 33 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
SEMWEB
2010
Springer
14 years 7 months ago
EvoPat - Pattern-Based Evolution and Refactoring of RDF Knowledge Bases
Facilitating the seamless evolution of RDF knowledge bases on the Semantic Web presents still a major challenge. In this work we devise EvoPat
Christoph Rieß, Norman Heino, Sebastian Tram...
ICALP
2005
Springer
15 years 3 months ago
Orthogonal Extensions in Structural Operational Semantics
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...
Mohammad Reza Mousavi, Michel A. Reniers
AAAI
2006
14 years 11 months ago
Large Scale Knowledge Base Systems: An Empirical Evaluation Perspective
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...
Yuanbo Guo, Abir Qasem, Jeff Heflin
ECOWS
2006
Springer
15 years 1 months ago
Denotation of Semantic Web Services Operations through OWL-S
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
Marco Luca Sbodio, Claude Moulin
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 1 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer