OQL: a query language for manipulating object-oriented databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Feature-constraint logics for unification grammars
Journal of Logic Programming
Finite domain constraint solving and constraint logic programming
Constraint logic programming
Foundations of aggregation constraints
Theoretical Computer Science
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Optimizing Regular Path Expressions Using Graph Schemas
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
IWWERT '90 Proceedings of the First International Workshop on Word Equations and Related Topics
Relationships between Logic Programming and RDF
Revised Papers from the PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000 on Advances in Artificial Intelligence
Constructive Disjunction Revisited
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Associative-Commutative Unification
Proceedings of the 7th International Conference on Automated Deduction
On the Difference between Navigating Semi-structured Data and Querying It
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
UnQL: a query language and algebra for semistructured data based on structural recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Computing simulations on finite and infinite graphs
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Type-Based XML Processing in Logic Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The XML Query Language Xcerpt: Design Principles, Examples, and Semantics
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
XPath-logic and XPathLog: A logic-programming style XML data manipulation language
Theory and Practice of Logic Programming
Information extraction from structured documents using k-testable tree automaton inference
Data & Knowledge Engineering
Xcerpt and visXcerpt: from pattern-based to visual querying of XML and semistructured data
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
XCentric: logic programming for XML processing
Proceedings of the 9th annual ACM international workshop on Web information and data management
Integrating and querying distributed XML data via XLink
Information Systems
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
An Ontology-based System for Semantic Filtering of XML Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating XQuery and Logic Programming
Applications of Declarative Programming and Knowledge Management
Information extraction from web documents based on local unranked tree automaton inference
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Context Sequence Matching for XML
Electronic Notes in Theoretical Computer Science (ENTCS)
A fast algebraic web verification service
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Completing queries: rewriting of incomplete web queries under schema constraints
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A rule-based approach to XML processing and web reasoning
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Matching with regular constraints
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Querying composite events for reactivity on the web
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
VeriFLog: a constraint logic programming approach to verification of website content
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Optimizing the evaluation of XPath using description logics
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
A contribution to the semantics of xcerpt, a web query and transformation language
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Querying along XLinks in XPath/XQuery: situation, applications, perspectives
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
An ECA engine for deploying heterogeneous component languages in the semantic web
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Active rules in the semantic web: dealing with language heterogeneity
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Towards complex actions for complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
Hi-index | 0.02 |
The growing importance of XML as a data interchange standard demands languages for data querying and transformation. Since the mid 90es, several such languages have been proposed that are inspired from functional languages (such as XSLT [1]) and/or database query languages (such as XQuery [2]). This paper addresses applying logic programming concepts and techniques to designing a declarative, rule-based query and transformation language for XML and semistructured data.The paper first introduces issues specific to XML and semistructured data such as the necessity of flexible "query terms" and of "construct terms". Then, it is argued that logic programming concepts are particularly appropriate for a declarative query and transformation language for XML and semistructured data. Finally, a new form of unification, called "simulation unification", is proposed for answering "query terms", and it is illustrated on examples.