Filters








824 Hits in 8.8 sec

Using Relational Inference Engine to Answer Questions

Elias Oliveira, Jaimel de Oliveira Lima, Gabriel Dias, Juliana P. C. Pirovani
2021 Latin American Conference on Learning Analytics  
In this paper, we describe a fast chatbot learning methodology so that it can dynamically and automatically learn new information to deal more appropriately with new discourse domains.  ...  After reading these documents, rAVA can respond correctly to many questions presented by the users, providing them, by this way, with quick and personalized feedback evaluations.  ...  This new logical-query is processed by the Prolog engine and its result is transformed back as an answer to the user.  ... 
dblp:conf/lala/OliveiraLDP21 fatcat:d2j35py6cvfenlwq7h3k3lgupy

Teaching model-driven engineering from a relational database perspective

Don Batory, Maider Azanza
2015 Journal of Software and Systems Modeling  
We use (1) relational database schemas to express metamodels, (2) relational databases to express models, (3) Prolog to express constraints and M2M transformations, (4) Java tools to implement M2T and  ...  Application case studies and a user study illuminate the viability and benefits of our approach.  ...  Lämmel his invaluable help answering questions about Prolog. We also thank R. Berg, E. Huneke, A. Shali, and J.  ... 
doi:10.1007/s10270-015-0488-7 fatcat:wgqauajfwjgmvoicgukknuey34

F-OWL: An Inference Engine for Semantic Web [chapter]

Youyong Zou, Tim Finin, Harry Chen
2004 Lecture Notes in Computer Science  
Understanding and using the data and knowledge encoded in semantic web documents requires an inference engine.  ...  We also describe TAGA, a trading agent environment that we have used as a test bed for F-OWL and to explore how multiagent systems can use semantic web concepts and technology.  ...  While using it in TAGA user case, we find that F-OWL is a full functional inference engine and easy to use with the support of multiple query languages and rule languages.  ... 
doi:10.1007/978-3-540-30960-4_16 fatcat:in24iaarkfdqxlw2vhktphmf64

Top-level Ideas about Importing, Translating and Exporting Knowledge via an Ontology of Representation Languages

Philippe Martin, Jérémy Bénard
2016 Proceedings of the 12th International Conference on Semantic Systems - SEMANTiCS 2016  
They can for example be read when referred to at the end of Section 4.1. Each rc_spec link relates an AE to a structural specification of CEs for this AE in a given notation.  ...  Figure 2 except that i) next to some defined types is a(n implicitly) universally quantified variable of that type (see the comment beginning by "//"), ii) the word "link" is used as a synonym for "binary  ...  The manual creation of such rules is not uncommon in Prolog. E.g., [17] discusses the rules, uses and good performances of an "RDF compiler on top of the sgml2pl package" in SWI-Prolog.  ... 
doi:10.1145/2993318.2993344 dblp:conf/i-semantics/MartinB16 fatcat:3x5uwsjbj5cophinjawsttamny

Ontogator — A Semantic View-Based Search Engine Service for Web Applications [chapter]

Eetu Mäkelä, Eero Hyvönen, Samppa Saarela
2006 Lecture Notes in Computer Science  
View-based search provides a promising paradigm for formulating complex semantic queries and representing results on the Semantic Web.  ...  This paper presents a solution on how semantic view-based search can be provided efficiently through an API or as web service to external applications.  ...  Acknowledgements This research was mostly funded by the Finnish Funding Agency for Technology and Innovation Tekes.  ... 
doi:10.1007/11926078_61 fatcat:lf43jts3tjd3zf2i6fokvj7ufq

Reflective Model Driven Engineering [chapter]

Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet
2003 Lecture Notes in Computer Science  
As tools evolve, it is critical that these transformations are not prisoners of a given CASE tool.  ...  Considering in this paper that a CASE tool can be seen as a platform for processing a model transformation, we propose to reflectively apply the MDA to itself.  ...  Acknowledgment We would like to thank Daniel Exertier, Madeleine Faugère, and Dominique Sueur, who have also been active contributors on the topic of model transformation within a pilot program called  ... 
doi:10.1007/978-3-540-45221-8_17 fatcat:yjzeuvmhrfemvmp7q6pbupr6z4

Source transformation in software engineering using the TXL transformation system

James R Cordy, Thomas R Dean, Andrew J Malton, Kevin A Schneider
2002 Information and Software Technology  
In this paper we introduce the basic features of modern TXL and its use in a range of software engineering applications, with an emphasis on how each task can be achieved by source transformation.  ...  TXL, the Tree Transformation Language, is a programming language and rapid prototyping system specifically designed to support rulebased source to source transformation.  ...  Development of TXL has been funded at various stages by the Natural Sciences and Engineering Research Council of Canada (NSERC), by the Information Technology Research Centre (ITRC, a province of Ontario  ... 
doi:10.1016/s0950-5849(02)00104-0 fatcat:wqn3ot4iozdqrnaxqf4immu7hi

Attacks on Web Services Need to Secure XML on Web

Abhinav Nath Gupta, Santhi Thilagam P
2013 Computer Science & Engineering An International Journal  
Several attacks use XML and most of them lies in the category of XML injection.XML based attacks discussed in this study covered a variety of attacks for example Denial of Services and Data Theft, escalation  ...  This study is aimed at providing an insight of the various forms of XML injections such as XPath injection, Coercive Parsing, and oversize payload.  ...  Similar to sql injection xpath injection occurs when a web service is invoked or xml database is queried using unsanitized user input. We'll use this XML snippet for the examples.  ... 
doi:10.5121/cseij.2013.3501 fatcat:yxiiwzvfabeubia273f6ttlm4e

Software Architecture for Language Engineering

HAMISH CUNNINGHAM, DONIA SCOTT
2004 Natural Language Engineering  
GATE is one of the most widely used such systems in existence, and very few other systems of similar design are freely available or in common use outside of their originating institutions.  ...  This thesis defines the boundaries of Software Architecture for Language Engineering (SALE), an area formed by the intersection of human language computation and software engineering.  ...  Applications are complete software systems that perform some intrinsically useful task, and may be sold as products. For example, a translator's workbench is an application 2 .  ... 
doi:10.1017/s1351324904003481 fatcat:xzkpj2edozgidfrknmergcyyga

Comparison of a Deductive Database with a Semantic Web reasoning engine

Simone A. Ludwig
2010 Knowledge-Based Systems  
The objective of this paper is the comparison and evaluation of a Deductive Database system (ConceptBase) with a Semantic Web reasoning engine (Racer).  ...  Knowledge engineering is a discipline concerned with constructing and maintaining knowledge bases to store knowledge of various domains and using the knowledge by automated reasoning techniques to solve  ...  Acknowledgements The author would like to thank the Natural Sciences and Engineering Research Council of Canada (NSERC) for partial funding of this project.  ... 
doi:10.1016/j.knosys.2010.04.005 fatcat:f5snnhes2zdq5hlfyhhwvxihxq

Querying XML Documents in Logic Programming [article]

J. M. Almendros-Jiménez and A. Becerra-Terón and F. J. Enciso-Baños
2007 arXiv   pre-print
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 addition, we will study how to query by means of the XPath language against a logic program representing an XML document.  ...  The first argument of the predicate is used for building a Prolog term containing the XML document.  ... 
arXiv:0710.4780v1 fatcat:urae2xchhrfkzpmcdomwb7jkt4

Querying XML documents in logic programming

J. M. ALMENDROS-JIMÉNEZ, A. BECERRA-TERÓN, F. J. ENCISO-BAÑOS
2008 Theory and Practice of Logic Programming  
In addition, we will study how to query by means of theXPathlanguage against a logic program representing an XML document.  ...  With this aim we will describe the representation of XML documents by means of alogic program.Rulesandfactscan be used for representing the document schema and the XML document itself.  ...  The first argument of the predicate is used for building a Prolog term containing the XML document.  ... 
doi:10.1017/s1471068407003183 fatcat:e4jj3rzac5e2dihpfksqt3hiea

SWI-Prolog and the web

JAN WIELEMAKER, ZHISHENG HUANG, LOURENS VAN DER MEIJ
2008 Theory and Practice of Logic Programming  
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  ...  This article motivates the design decisions in the libraries and extensions to Prolog for handling Web documents and protocols.  ...  Acknowledgements Recent development and preparing this paper was supported by the MultimediaN 28 project funded through the BSIK programme of the Dutch Government. Older  ... 
doi:10.1017/s1471068407003237 fatcat:zd3ruoyfwvf3xczb36awxobv3e

SWI-Prolog and the Web [article]

Jan Wielemaker, Zhisheng Huang, Lourens van der Meij
2007 arXiv   pre-print
Where 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  ...  This paper motivates the design decisions in the libraries and extensions to Prolog for handling Web documents and protocols.  ...  Acknowledgements Recent development and preparing this paper was supported by the MultimediaN 28 project funded through the BSIK programme of the Dutch Government. Older  ... 
arXiv:0711.0917v1 fatcat:gvcolyblqbgsvkgfek4t2u3eee

An XHTML Application to Determine CIIT Expertise

J.S. Mirza, Mudassar Naseer
2014 Research Journal of Applied Sciences Engineering and Technology  
We first describe the structure of the CIIT which is ambitious enough to take a good research position among some 130 universities of Pakistan.  ...  As yet no rule exists demanding external examiner be taken from CIIT, but the time is not far off when such a rule is going to be made in view of the runaway expenditure and appropriateness of examiners  ...  The work is progressing to use SPARQL to answer specific queries on DDP. At present a great number of queries have not been dealt with because RDFS documents and its DTD is wildly expanding.  ... 
doi:10.19026/rjaset.8.935 fatcat:ssqmv5zrafbi3jd6cwe6zz6wsi
« Previous Showing results 1 — 15 out of 824 results