Sciweavers

475 search results - page 62 / 95
» Ad-Hoc Knowledge Engineering with Semantic Knowledge Wikis
Sort
View
ATAL
2009
Springer
15 years 6 months ago
Operational semantics of goal models in adaptive agents
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
Mirko Morandini, Loris Penserini, Anna Perini
SEKE
2005
Springer
15 years 5 months ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
ISEMANTICS
2010
15 years 1 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
ACMICEC
2006
ACM
141views ECommerce» more  ACMICEC 2006»
15 years 5 months ago
From HTML documents to web tables and rules
We present a browser-extending Semantic Web extraction system that maps HTML documents to tables and, where possible, to rules. First, the basic data extractor ViPER distills and ...
Kai Simon, Georg Lausen, Harold Boley
SEMWEB
2009
Springer
15 years 6 months ago
Combining Semantic Web Search with the Power of Inductive Reasoning
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving towa...
Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga,...