Sciweavers

394 search results - page 62 / 79
» An extensive math query language
Sort
View
CLIMA
2007
13 years 8 months ago
EVOLP: Tranformation-Based Semantics
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...
Martin Slota, João Leite
SYRCODIS
2008
120views Database» more  SYRCODIS 2008»
13 years 8 months ago
Efficient Implementation of XQuery Constructor Expressions
Element constructor is one of most expensive operations of the XQuery language as it requires deep copy of the nodes which make up the content of the constructed element. In this ...
Leonid Novak, Maxim Grinev, Ilya Taranov
ACL
2004
13 years 8 months ago
Developing a Flexible Spoken Dialog System Using Simulation
In this paper, we describe a new methodology to develop mixed-initiative spoken dialog systems, which is based on the extensive use of simulations to accelerate the development pr...
Grace Chung
DLOG
2006
13 years 8 months ago
Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...
Vladimir Kolovski, Bijan Parsia, Evren Sirin
DLOG
2003
13 years 8 months ago
Detecting Inconsistencies between UML Models Using Description Logic
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...