Loading...
Please wait, while we are loading the content...
Similar Documents
XPath-Logic and XPathLog: A Logic-Based Approach for Declarative XML Data Manipulation
| Content Provider | Semantic Scholar |
|---|---|
| Author | May, Wolfgang |
| Copyright Year | 2001 |
| Abstract | In this work, a logic-based framework for handling XML data is proposed. XPath-Logic embeds an extension of the XPath query language into rst-order logic. We give a model-theoretic semantics of XPath-Logic formulas based on answer-sets. XPathLog is the Horn fragment of XPath-Logic, providing a logic-based language for manipulating and integrating XML data. Due to the close relationship with XPath, the semantics of rules is easy to grasp. In contrast to other approaches, the XPath syntax and semantics is also used for a declarative speciication how the database should be updated : when used in rule heads, XPath lters are interpreted as speciications of elements and properties which should be added to the database. The formal semantics is deened wrt. a Herbrand structure which covers the XML data model. XPathLog has been implemented in LoPiX. |
| File Format | PDF HTM / HTML |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
