Loke, S.W. and Davison, A. 1998. \LogicWeb: Enhancing the Web with Logic Programming", Journal of Logic Programming, 36, pp.195-240.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....users each with a distinct KID model. The goal here is, therefore, to build on the methods and techniques for source integration centred on the idea of mediator components [31] A few proposals exist that address the question of source integration from a logic programming point of view (e.g. [3, 22]) While this work is still very incipient, it suggests how fundamental ideas from logic programming theory (e.g. an algebra for composing logic programs) can be used to specify mediator components (e.g. exactly such an algebra both underpins source integration in MedLan [3] and allows LogicWeb ....

.... While this work is still very incipient, it suggests how fundamental ideas from logic programming theory (e.g. an algebra for composing logic programs) can be used to specify mediator components (e.g. exactly such an algebra both underpins source integration in MedLan [3] and allows LogicWeb [22] to view web pages as logic programs) This section has indicated how KIDEs can be designed and engineered so as to be deployed over distributed sources. The next section brie y introduces the notion of virtual organizations and uses the set up stage of virtual organizations to argue that the ....

S. W. Loke and A. Davison. LogicWeb: Enhancing the Web with Logic Programming. Journal of Logic Programming, 36:195-240, 1998.

....structure of a Web site. Semantic tags can be used to refer to an entity the data stored in a Web page and to denote relationships as semantic links that are not meant to be followed in navigation only, but used for querying purposes. Several variations of the semantic tagging idea ( KMSS97, DL96] have been proposed by various researchers; moreover, HTML standard committees [Wor] seem to be considering its partial endorsement. However, no effective query support based on semantic tagging is available yet. Other approaches try to address the problem of Web indexing and querying in the ....

Andrew Davison and Seng Wai Loke. Logicweb: Enhancing the web with logic programming. Submitted to JLP.http://www.cs.mu.oz.au/~swloke/papers/lw.ps.gz, 1996.

.... group is the link href = LL#1)#1; the fourth and fifth groups together are the abstract abstract = LL#4 append LL#5) map ( google] title n href n abstract n n stdout eof done : done 1 execute main; 5 Related work LogicWeb[7, 9] is an interesting e ort to apply a logic programming abstraction to the web. Web pages are retrieved using the download 4 predicate, which incrementally binds one of its arguments to a term representing the data as it arrives. By combining download 4 with concurrent logic programming ....

S.W. Loke and A. Davison, \LogicWeb: enhancing the web with logic programming, " Journal of Logic Programming 36(3), 195-240 (1998).

....programming models for the Web impose different computational abstractions upon it: client server, distributed objects, global hypertext, and so on. For example, our LogicWeb model considers the Web to be an open collection of logic programs which can be composed together to form new entities [10]. As with all abstractions, there are advantages and disadvantages. On the plus side is the high level representation which emphasises structured data and logical relationships. Ironically, this viewpoint can also be considered a disadvantage since it hides the very real concerns of network ....

....a time out would essentially be the same as rate 5 but with a call to timeout 5 instead of download 4. 5 Concurrent LogicWeb As mentioned above, LogicWeb views the Web as a collection of logic programs which can be composed together using operators such as union, intersection, and encapsulation [10]. This programming style makes it much easier to implement structured data representations on top of the Web, including light weight databases and concept nets [7, 9] The Web link mechanism can be augmented with logical relationships, which are useful when programming search engines or Web guided ....

S.W. Loke and A. Davison, LogicWeb: Enhancing the Web with Logic Programming, The Journal of Logic Programming, 36, 1998, 195--240.

....navigational structure of a Web site. Semantic tags can be used to refer to an entity the data stored in a Web page and to denote relationships as semantic links that are not meant to be followed in navigation only, but used for querying purposes. Several variations of the semantic tagging idea ([Kog97, Lok97]) have been proposed by various researchers; moreover, HTML standard committees [W3C97] seem to be considering its partial endorsement. However, no effective query support based on semantic tagging is available yet. Other approaches try to address the problem of Web indexing and querying in the ....

Loke S.W., Davison A. "LogicWeb: Enhancing the Web with Logic Programming" http://www.cs.mu.oz.au/ swloke/papers/lw.ps.gz

....stored in a Web page and to denote relationships as semantic links that are not meant to be followed in navigation only, but used for querying purposes. Several variations of the semantic tagging idea ( KMSS97] have been proposed by various researchers (a logicprogrammingapproach is presented in [Lok97]) Moreover, HTML standard Related Work 9 committees [W3C97] seem to be considering its partial endorsement. However, no effective query support based on semantic tagging is yet available. Other approaches try to address the problem of Web indexing and querying in the more general framework of ....

Loke S.W., Davison A.: "LogicWeb: Enhancing the Web with Logic Programming" http://www.cs.mu.oz.au/ swloke/papers/lw.ps.gz

....to approximate the abductive process SLDA, we employ consecutively bounded depth first search [26] The algorithm performs exhaustive depth first search for increasing depth bounds 1; 2; m. The following idea does not depend on this strategy; for instance, Lieberman [14] and Davison and Loke [5] employ a bounded breadth first search strategy instead. SLDA (SLD resolution plus abduction inference rule) constructs a refutation hQ 0 ; Delta 0 i; hQ i ; Delta i i; hQ n ; Delta n i where Q 0 = Q, Delta 0 = G n = and Delta n is an abductive solution, ....

....a web page are skipped if this page does not satisfy the integrity constraints. Put differently, we assume that pages associated with links occurring on some irrelevant (uninteresting) page are also irrelevant. This assumption will turn out as too restrictive (compare to the discussion of LogicWeb [5] in Section 6) Suppose we are interested in papers related to intelligent agents. If both intelligent agents and papers are specified as musts, no page will be retrieved that does not contain both phrases. More likely, we will find papers describing intelligent agents in links that start from a ....

[Article contains additional citation context not shown here]

A. Davison and S.W. Loke. LogicWeb: Enhancing the web with logic programming. Submitted to the Journal of Logic Programming, 1996.

No context found.

Loke, S.W. and Davison, A. 1998. \LogicWeb: Enhancing the Web with Logic Programming", Journal of Logic Programming, 36, pp.195-240.

No context found.

Loke SW, Davison A. LogicWeb: Enhancing the web with logic programming. The Journal of Logic Programming, 36:195--240, 1998.

No context found.

Loke, S.W. and Davison, A. 1998. \LogicWeb: Enhancing the Web with Logic Programming", Journal of Logic Programming, 36, pp.195-240.

....the expressiveness of the links. The layer can take many forms, such as a semantic network, concept hierarchy, or simply procedures to compute destination pages. The two level model is implemented using the LogicWeb system which views Web pages as logic programs which we call LogicWeb programs [8, 6]. We explore the use of logic programming for coding the link abstraction layer, exploiting its ability to represent declarative structures in a concise and readable manner, and its nondeterminism. In x2, we describe LogicWeb, and in x3, the two level model. x4 illustrates the expressiveness of ....

....and some meta level information, such as its last modification date. Pages can also contain additional LogicWeb code. The LogicWeb system stands between the user and the Web as shown in Figure 1. A prototype LogicWeb system has been implemented using the NCSA XMosaic Browser, C, and Prolog [8, 6], and was used as a testbed for the examples in this paper. When a Web page is retrieved, it is displayed by the browser as normally. However, LogicWeb also translates all retrieved pages into programs. The basic transformation generates two facts for each Web page: myid( URL ) htext( Page ....

A. Davison and S.W. Loke. LogicWeb: Enhancing the Web with Logic Programming (available at http://www.cs.mu.oz.au/¸swloke/papers/lw.ps.gz). 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC