4135 search results - page 484 / 827 » Application Modeling for the Semantic Web |
190
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
184
click to vote
JBI
2008
15 years 6 months ago
2008
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
210
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
159
click to vote
BTW
2001
Springer
15 years 11 months ago
2001
Springer
In this article, we present our efforts1 on realizing transformation independence in open, extensible, and highly distributed multimedia information The main focus is on the abstra...
185
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Currently a large number of Web sites are driven by Content Management Systems (CMS) which manage textual and multimedia content but also inherently - carry valuable info...