Sciweavers

5818 search results - page 814 / 1164
» A reasonable Semantic Web
Sort
View
170
Voted
GISCIENCE
2008
Springer
145views GIS» more  GISCIENCE 2008»
15 years 8 months ago
Similarity-Based Information Retrieval and Its Role within Spatial Data Infrastructures
While similarity has gained in importance in research about information retrieval on the (geospatial) semantic Web, information retrieval paradigms and their integration into exist...
Krzysztof Janowicz, Marc Wilkes, Michael Lutz
172
Voted
KAIS
2006
94views more  KAIS 2006»
15 years 6 months ago
Human-centered ontology engineering: The HCOME methodology
The fast emergent and continuously evolving areas of the Semantic Web and Knowledge Management make the incorporation of ontology engineering tasks in knowledge-empowered organiza...
Konstantinos Kotis, George A. Vouros
CN
1999
115views more  CN 1999»
15 years 6 months ago
XML-GL: A Graphical Language for Querying and Restructuring XML Documents
The growing acceptance of XML as a standard for semi-structured documents on the Web opens up challenging opportunities for Web query languages. In this paper we introduce XML-GL,...
Stefano Ceri, Sara Comai, Ernesto Damiani, Piero F...
182
Voted
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
KBSE
2005
IEEE
16 years 13 days ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander