Sciweavers

2722 search results - page 67 / 545
» Automating Language Evolution
Sort
View
DLOG
2003
15 years 1 months ago
Comparing Natural Language Documents: a DL Based Approach
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...
Naouel Karam, Michel Schneider
KES
2004
Springer
15 years 5 months ago
Managing Ontology Evolution Via Relational Constraints
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...
Paolo Ceravolo, Angelo Corallo, Gianluca Elia, Ant...
CL
2000
Springer
14 years 11 months ago
A Formal Model for an Expressive Fragment of XSLT
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
Geert Jan Bex, Sebastian Maneth, Frank Neven
ACL
1996
15 years 1 months ago
Higher-Order Coloured Unification and Natural Language Semantics
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...
Claire Gardent, Michael Kohlhase
CSMR
2007
IEEE
15 years 6 months ago
The Sisyphus Continuous Integration System
Integration hell is a prime example of software evolution gone out of control. The Sisyphus continuous integration system is designed to prevent this situation in the context of c...
Tijs van der Storm