756 search results - page 147 / 152 » Combining Rule and Ontology Reasoners for the Semantic Web |
CSL
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Recent interests on XML, Semantic Web, and Web ontology, among other topics, have sparked a renewed interest on graph-structured databases. A fundamental query on graphs is the re...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse in...
LPNMR
1990
Springer
14 years 14 days ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
WEBDB
2009
Springer
14 years 3 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...