Pengines: Web Logic Programming Made Easy

Lager, Torbjörn; Wielemaker, Jan

doi:10.1017/s1471068414000192

Cited by 17 publications

(24 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…That means that we will improve the DCG clauses to return semantic expressions which are similar to the results of the proposed semantic models in [1,2]. We use SWI-Prolog [14][15][16] and Pengines [17,18] to execute/run the DCG clauses.…”

Section: Proposed Methodsmentioning

confidence: 99%

“…In this section, we based these clauses on semantic models proposed [1,2] to design a set of new DCG clauses, which run in SWI-Prolog [14][15][16] and Pengines [17,18]. We only build the set of DCG clause for the following Vietnamese phrases: noun phrase (NP), quantity phrase (QuaP), place phrase (PlaceP), time phrase (TimeP), adjective Phrase (AdjP), and verb phrase (VP).…”

Section: Designing and Building A Set Of Dcg Clauses To Represent Semmentioning

confidence: 99%

“…The mechanism processing is executed by logic programming in Prolog's engine such as SWI-Prolog [14][15][16] and Pengines [17,18]. We then make a semantic expression of the phrase.…”

Section: Designing and Building A Set Of Dcg Clauses To Represent Semmentioning

confidence: 99%

See 2 more Smart Citations

Empirical methods for computing phrasal and sentential semantics in Vietnamese

Nguyen

2017

Vietnam J Comput Sci

View full text Add to dashboard Cite

The purpose of this paper is to build the sets of clauses in definite clause grammar, which can express the phrasal and sentential semantics. We build these sets based on the semantic models of computational and inferential methods for analyzing the phrasal and sentential semantics in Vietnamese Question-Answering System Model (VietQASM), and implementation techniques for computing the semantics in Pham and Nguyen (Int J Simul Syst Sci Technol 17, 2016; A computational and inferential method for analyzing the semantics of phrase and sentence in Vietnamese QuestionAnswering System Model (VietQASM), 2015). We also present the technical novel, which expresses the process of creating the semantic expressions according to these models. Those semantic expressions will be used to make an event of data-knowledge base in the Vietnamese Question-Answering System (VietQAS). We built three sets of clauses: (1) the first set is used to define the semantic forms of lexicons, (2) the second set is used to compute and infer the semantics for phrases, (3) the third set is used to compute and infer the semantics for sentences. We only use all these sets for building a reading-comprehension mechanism for all statement sentences in the VietQAS.

show abstract

Section: Proposed Methodsmentioning

confidence: 99%

Section: Designing and Building A Set Of Dcg Clauses To Represent Semmentioning

confidence: 99%

See 1 more Smart Citation

Empirical methods for computing phrasal and sentential semantics in Vietnamese

Nguyen

2017

Vietnam J Comput Sci

View full text Add to dashboard Cite

show abstract

“…Recent versions provide a web-based alternative based on Pengines, or Prolog Engines [15]. 8 The Pengine infrastructure allows for embedding a Prolog program in a web page using a <script type="text/x-prolog"> element and pose queries to this program from within JavaScript.…”

Section: Application Developmentmentioning

confidence: 99%

“…First, possible compression and archiving (e.g., ZIP) is analysed www.aspi.unimib.it 13 http://www.cidoc-crm.org/ 14 http://lodlaundromat.org/ based on the SWI-Prolog binding to libarchive. 15 Next, for each individual file, heuristics are used to detect whether the data contains RDF and -if so-using what serialization format. Finally, the data is parsed by the applicable RDF parser from ClioPatria while keeping statistics about errors and warnings.…”

Section: Lod Laundromatmentioning

confidence: 99%

ClioPatria: A SWI-Prolog infrastructure for the Semantic Web

Wielemaker

Beek

Hildebrand

et al. 2016

Self Cite

View full text Add to dashboard Cite

Abstract. ClioPatria is a comprehensive semantic web development framework based on SWI-Prolog. SWI-Prolog provides an efficient C-based main-memory RDF store that is designed to cooperate naturally and efficiently with Prolog, realizing a flexible RDF-based environment for rule based programming. ClioPatria extends this core with a SPARQL and LOD server, an extensible web frontend to manage the server, browse the data, query the data using SPARQL and Prolog and a Git-based plugin manager. The ability to query RDF using Prolog provides query composition and smooth integration with application logic. ClioPatria is primarily positioned as a prototyping platform for exploring novel ways of reasoning with RDF data. It has been used in several research projects in order to perform tasks such as data integration and enrichment and semantic search.

show abstract

Probabilistic logic programming on the web

et al. 2015

View full text Add to dashboard Cite

We present the web application "cplint on SWISH", that allows the user to write probabilistic logic programs and compute the probability of queries with just a web browser. The application is based on SWISH, a recently proposed web framework for logic programming. SWISH is based on various features and packages of SWI-Prolog, in particular its web server and its Pengine library, that allow to create remote Prolog engines and to pose queries to them. In order to develop the web application, we started from the PITA system which is included in cplint, a suite of programs for reasoning on Logic Programs with Annotated Disjunctions, by porting PITA to SWI-Prolog. Moreover, we modified the PITA library so that it can be executed in a multi-threading environment. Developing "cplint on SWISH" also required modification of the JavaScript SWISH code that creates and\ud queries Pengines. "cplint on SWISH" includes a number of examples that cover a wide range of domains and provide interesting applications of Probabilistic Logic Programming (PLP). By providing a web interface to cplint we allow users to experiment with PLP without the need to install a system, a procedure which is often complex, error prone and limited mainly to the Linux platform. In this way, we aim to reach out to a wider audience and popularize PLP

show abstract

Pengines: Web Logic Programming Made Easy

Cited by 17 publications

References 5 publications

Empirical methods for computing phrasal and sentential semantics in Vietnamese

Empirical methods for computing phrasal and sentential semantics in Vietnamese

ClioPatria: A SWI-Prolog infrastructure for the Semantic Web

Probabilistic logic programming on the web

Contact Info

Product

Resources

About