SWI-Prolog and the web

  title={SWI-Prolog and the web},
  author={Jan Wielemaker and Zhisheng Huang and Lourens van der Meij},
  journal={Theory and Practice of Logic Programming},
  pages={363 - 392}
Abstract Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make it a prime candidate for programming robust Web services. Although Prolog is commonly seen as a component in a Web application that is either embedded or communicates using a proprietary protocol, we propose an architecture where Prolog communicates to other components in a Web application using the standard… Expand
Application of Semantic Technology in Rational Use of Antibacterial Agents
Rational use of antibiotics is a very urgent problem to be addressed for the management of the current Chinese hospital system. However, it involves complex knowledge analysis and management process.Expand
Representation sharing for Prolog
Benchmark results show that the sharer has a cost comparable to the heap garbage collector, that its effectiveness is highly application-dependent, and that its policy must be tuned to the collector. Expand
Empirical methods for computing phrasal and sentential semantics in Vietnamese
The purpose of this paper is to build the sets of clauses in definite clause grammar, which can express the phrasal and sentential semantics in Vietnamese Question-Answering System Model, and presents the technical novel, which expresses the process of creating the semantic expressions according to these models. Expand
A Logical Approach to Working with Biological Databases
It has been argued before that Prolog is a strong candidate for research and code development in bioinformatics and computational biology. This position has been based on both the intrinsic strengthsExpand
Advances in Integrating Statistical Inference
It is argued that Real is a powerful extension to logic programming, providing access to a popular statistical system that has complementary strengths in areas such as machine learning, statistical inference and visualisation, and has a central role to play in the uptake of computational biology and bioinformatics. Expand
Supporting conceptual modelling of dynamic systems: A knowledge engineering perspective on qualitative reasoning
Research has shown that even students educated in science at prestigious universities have misconceptions about the systems underlying climate change, sustainability and government spending.Expand
Abstracting and reasoning over ship trajectories and web data with the Simple Event Model (SEM)
This paper presents the Simple Event Model (SEM) and its application in a Maritime Safety and Security use case about Situational Awareness, where the data also come as low-level features (of ship trajectories). Expand
Collaborative capture and reuse of system knowledge
The established functionality to address reuse issues includes copy functionality in Garp3, the Web Ontology Language (OWL) formalization of QR models, and the qualitative model repository for which the OWL formalisation was created. Expand
SemanticCT: A Semantically-Enabled System for Clinical Trials
The goals are not only to achieve the interoperability by semantic integration of heterogeneous data in clinical trials, but also to facilitate automatic reasoning and data processing services for decision support systems in various settings of clinical trials. Expand
Lightweight Declarative Server-Side Web Programming
Web interfaces are an important part of many applications but their implementation is full of pitfalls due to the client/server nature of web programming. This paper presents a lightweight approachExpand


Finding the flow in web site search
Designing a search system and interface may best be served by scrutinizing usability studies, and the results can help guide the design and execution of search systems and interfaces. Expand
Towards ECLiPSe agents on the internet
  • Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, Bonn, Germany.
  • 1996
WordNet: A Lexical Database for English
WordNet1 provides a more effective combination of traditional lexicographic information and modern computing, and is an online lexical database designed for use under program control. Expand
Prolog-based infrastructure for RDF: performance and scalability
Semantic Web Techniques for Multiple Views on Heterogeneous Collections: A Case Study
This paper presents an experiment where the vocabularies of two collections are matched by applying the Knowledge Representation techniques established in recent Semantic Web research. Expand
An Optimised Semantic Web Query Language Implementation in Prolog
This article study query translation and optimization in the context of the SeRQL RDF query language and discusses the optimisation algorithms as well as the information required from the low level storage engine. Expand
Inconsistent Ontology Diagnosis: Framework and Prototype
A framework for inconsistent ontology diagnosis and repair is presented by defining a number of new non-standard reasoning services to explain inconsistencies through pinpointing, and two different types of algorithms for the framework are developed. Expand
Reasoning with Inconsistent Ontologies
A framework of reasoning with inconsistent ontologies, in which pre-defined selection functions are used to deal with concept relevance, is presented, which is based on a syntactic relevance-based selection function. Expand
Reasoning with Multi-version Ontologies: A Temporal Logic Approach
It is shown that the temporal logic approach can provide a solid semantic foundation which can support various requirements on multi-version ontology reasoning. Expand
Extended DIG Description Logic Interface Support for PROLOG
  • Deliverable D3.4.1.2. SEKT.
  • 2004