Sciweavers

6016 search results - page 853 / 1204
» The semantics of graphical languages
Sort
View
FOIKS
2008
Springer
15 years 8 months ago
Visibly Pushdown Transducers for Approximate Validation of Streaming XML
Visibly Pushdown Languages (VPLs), recognized by Visibly Pushdown Automata (VPAs), are a nicely behaved family of contextfree languages. It has been shown that VPAs are equivalent ...
Alex Thomo, Srinivasan Venkatesh, Ying Ying Ye
CADE
2006
Springer
16 years 7 months ago
A Resolution-Based Decision Procedure for SHOIQ
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
Yevgeny Kazakov, Boris Motik
SIGMOD
2005
ACM
99views Database» more  SIGMOD 2005»
16 years 7 months ago
LiXQuery: a formal foundation for XQuery research
XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational p...
Jan Hidders, Philippe Michiels, Jan Paredaens, Roe...
CIKM
2009
Springer
16 years 1 months ago
Towards a universal wordnet by learning from combined evidence
Lexical databases are invaluable sources of knowledge about words and their meanings, with numerous applications in areas like NLP, IR, and AI. We propose a methodology for the au...
Gerard de Melo, Gerhard Weikum
IDC
2009
Springer
16 years 1 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...