Handbook of theoretical computer science (vol. B)
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Storing and querying ordered XML using a relational database system
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Semantic Web: The Roles of XML and RDF
IEEE Internet Computing
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
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
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
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
XPath-logic and XPathLog: A logic-programming style XML data manipulation language
Theory and Practice of Logic Programming
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
ORDPATHs: insert-friendly XML node labels
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
IBM Systems Journal
Pathfinder: XQuery---the relational way
VLDB '05 Proceedings of the 31st international conference on Very large data bases
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Integrating XQuery and Logic Programming
Applications of Declarative Programming and Knowledge Management
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
An RDF Query Language based on Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating XQuery and Logic Programming
Applications of Declarative Programming and Knowledge Management
An Encoding of XQuery in Prolog
XSym '09 Proceedings of the 6th International XML Database Symposium on Database and XML Technologies
A formal language for specifying complex XML authorisations with temporal constraints
Inscrypt'09 Proceedings of the 5th international conference on Information security and cryptology
A Prolog-based Query Language for OWL
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 4th International Workshop on Logic in Databases
Querying and reasoning with RDF(S)/OWL in XQuery
APWeb'11 Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications
Extending XQuery for semantic web reasoning
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
XQuery in the functional-logic language toy
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
A flexible XPath-based query language implemented with fuzzy logic programming
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Annotating "Fuzzy chance degrees" when debugging XPath queries
IWANN'13 Proceedings of the 12th international conference on Artificial Neural Networks: advences in computational intelligence - Volume Part II
Hi-index | 0.00 |
Extensible Markup Language (XML) is a simple, very flexible text format derived from SGML. Originally designed to meet the challenges of large-scale electronic publishing, XML is also playing an increasingly important role in the exchange of a wide variety of data on the Web and elsewhere. XPath language is the result of an effort to provide address parts of an XML document. In support of this primary purpose, it becomes in a query language against an XML document. In this paper we present a proposal for the implementation of the XPath language in logic programming. With this aim we will describe the representation of XML documents by means of a logic program. Rules and facts can be used for representing the document schema and the XML document itself. In particular, we will present how to index XML documents in logic programs: rules are supposed to be stored in main memory, however facts are stored in secondary memory by using two kind of indexes: one for each XML tag, and other for each group of terminal items. In addition, we will study how to query by means of the XPath language against a logic program representing an XML document. It evolves the specialization of the logic program with regard to the XPath expression. Finally, we will also explain how to combine the indexing and the top-down evaluation of the logic program.