48,881 Hits in 3.8 sec

Integrating ontology languages and answer set programming

S. Heymans, D. Vermeir
14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings.  
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite universe, without introducing  ...  We show that this extension is still decidable, and can be used to simulate, on the one hand, answer set programming with a finite universe, and on the other hand, several expressive description logics  ...  The extension effectively integrates ontology languages with answer set programming, and allows for representing and reasoning with knowledge in an intuitive, expressive and unified way.  ... 
doi:10.1109/dexa.2003.1232085 dblp:conf/dexaw/HeymansV03 fatcat:eqpzlh5elrc7rh2rpab2erpway

Preface for the special issue on Ontologies and Logic Programming for Query Answering

Odile Papini, Salem Benferhat
2018 Annals of Mathematics and Artificial Intelligence  
Concerning the first point, a challenging issue was how to adapt or extend Answer Set Programming (ASP) to represent ontological knowledge.  ...  ii) how to integrate uncertainty information in lightweight ontological languages?  ...  Concerning the first point, a challenging issue was how to adapt or extend Answer Set Programming (ASP) to represent ontological knowledge.  ... 
doi:10.1007/s10472-018-9580-3 fatcat:se44nmynsrgppe6m5qpbppj4by

Querying Biomedical Ontologies in Natural Language using Answer Set [article]

Halit Erdogan, Umut Oztok, Yelda Erdem, Esra Erdem
2010 arXiv   pre-print
We develop a rule layer over biomedical ontologies and databases, and use automated reasoners to answer queries considering relevant parts of the rule layer.  ...  In this work, we develop an intelligent user interface that allows users to enter biomedical queries in a natural language, and that presents the answers (possibly with explanations if requested) in a  ...  Extracting and integrating knowledge from ontologies or databases that is relevant to a given query, and finding an answer to the query using an ASP system. rithm.  ... 
arXiv:1012.1899v1 fatcat:w7gqxacjabaxdgwl2e6y3lsrmm

Combining Safe Rules and Ontologies by Interfacing of Reasoners [chapter]

Uwe Aßmann, Jakob Henriksson, Jan Małuszyński
2006 Lecture Notes in Computer Science  
The paper presents a scheme for hybrid integration of rules languages with constraints languages including but not restricted to Description Logic-based ontologies.  ...  To reason in the integrated language, we aim at re-using and interfacing existing reasoners for the component languages.  ...  Artur Wilk for stimulating discussions on integration of Xcerpt and OWL.  ... 
doi:10.1007/11853107_3 fatcat:lthxvetqdjes7gz5j3wemhy2zy

Reasoning with Rules and Ontologies [chapter]

Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits
2006 Lecture Notes in Computer Science  
We will then focus on description-logic programs (or dl-programs, for short), which realize a transparent integration of rules and ontologies supported by existing reasoning engines, based on the answer-set  ...  Given that the Ontology Layer has reached a certain level of maturity with W3C recommendations such as RDF and the OWL Web Ontology Language, current interest focuses on the Rules Layer and its integration  ...  of rule languages relevant for the integration of rules and ontologies are those originating from logic programming and nonmonotonic reasoning, in particular languages which are based on the answer-set  ... 
doi:10.1007/11837787_4 fatcat:mihezlblwrhopbwjc6dhfelghi

Flexible Intensional Query-Answering for RDF Peer-to-Peer Systems [chapter]

Zoran Majkić
2006 Lecture Notes in Computer Science  
Such language can be used in order to define richer RDF ontologies, and to give them the expressive power of FOL data integration systems.  ...  This needs a bridge between RDFS and FOL theory. The embedding presented in this paper can be used to efficiently answer conjunctive queries in heterogeneous P2P settings.  ...  A class in programming languages is regarded as a set, and an instance of the class is a member of the set.  ... 
doi:10.1007/11766254_60 fatcat:nd3qxphv7zapznegdybap4z77e

Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming [chapter]

Joohyung Lee
2012 Lecture Notes in Computer Science  
Third, the reformulation allows us to compute integration of TAL and ontologies using answer set solvers, and we illustrate its usefulness in the healthcare domain in the context of medical expert systems  ...  We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergies it brings. First, the reformulation provides a means to compute TAL using efficient answer set solvers.  ...  Acknowledgements We are grateful to Jonas Kvarnström for his help on using VITAL and TALPlanner, and for answering our related questions.  ... 
doi:10.1007/978-3-642-30743-0_28 fatcat:w7kttp35tvghpndd2dgagqqyi4

Ontology based Chatbot (For E-commerce Website)

Anusha Vegesna, Pranjal Jain, Dhruv Porwal
2018 International Journal of Computer Applications  
The integration of the dialog manager and the ontology template is managed through Python. The related response to the query will be formatted and returned to the user on the dialog manager.  ...  A working model of Ontology based chatbot is proposed that handles queries from users for an E-commerce website.  ...  It supports several programming languages and services as well as the DevOps development methodology in an integrated way to create, execute, deploy and manage applications in the cloud.  ... 
doi:10.5120/ijca2018916215 fatcat:iyuwm336wzh3rpikulcxd5vxvy

A decentralized infrastructure for query answering over distributed ontologies

Peter Haase, Yimin Wang
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
Our approach is based on a virtual integration that exhibits a semantics as if all ontologies were integrated locally.  ...  Practically, the distributed ontologies still reside on the remote peers, and only the parts relevant for answering the query need to be retrieved to the local node.  ...  Acknowledgments Research reported in this paper has been partially financed by the EU in the IST projects SEKT (IST-2003-506826, http://www. and NeOn (IST-2006-027595, http: //  ... 
doi:10.1145/1244002.1244294 dblp:conf/sac/HaaseW07 fatcat:cinb23ymonb6zdjg2gvkez4b4q

A mapping system for the integration of OWL-DL ontologies

Peter Haase, Boris Motik
2005 Proceedings of the first international workshop on Interoperability of heterogeneous information systems - IHIS '05  
We further show how the mapping system can be applied for the task of ontology integration and present a query answering algorithm.  ...  In this paper, we define a mapping system for OWL-DL ontologies, where mappings are expressed as correspondences between conjunctive queries over ontologies.  ...  Acknowledgments Research reported in this paper has been partially financed by the EU in the IST projects SEKT (IST-2003-506826, and DIP (IST-2003-507483,  ... 
doi:10.1145/1096967.1096970 dblp:conf/ihis/HaaseM05 fatcat:m4tc5gsaszbp3bxzfexaitu2ru

Effective support of databases with ontological dependencies: Relational languages instead of description logics

L. A. Kalinichenko
2012 Programming and computer software  
The main part of the paper is devoted to the survey of the development of relational database languages providing broader and more efficient support of queries over databases with the ontological dependencies  ...  The paper provides a brief survey of the languages for efficient support of access to the databases satisfying the ontological dependencies.  ...  fundamental research program no. 15, project 4.2).  ... 
doi:10.1134/s0361768812060059 fatcat:aezozh4o6rctjft47p3uny4lnm

Merging and Aligning Ontologies in dl-Programs [chapter]

Kewen Wang, Grigoris Antoniou, Rodney Topor, Abdul Sattar
2005 Lecture Notes in Computer Science  
A novel technique called forgetting is developed in the setting of dl-programs and applied to ontology merging and aligning.  ...  The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies.  ...  Let P be a dl-program and S a set of literals in P . S is a dl-answer set if M (P S ) = S.  ... 
doi:10.1007/11580072_13 fatcat:2rgc4px3off23anrwx2abrhprm

Ontology management for large-scale enterprise systems

Juhnyoung Lee, Richard Goodwin
2006 Electronic Commerce Research and Applications  
Ontologies could significantly reduce the costs of deploying, integrating and maintaining enterprise systems.  ...  Semantic markup languages such as RDF (Resource Description Framework) [31] and OWL (Web Ontology Language) [35] are increasingly being used to externalize meta-data or ontologies about data, software  ...  Acknowledgements The author thanks Guo Tong Xie, Yue Pan, Li Ma, Yang Yang, ZhaoMing Qiu and Rama Akkiraju for their constructive discussion and support for this work.  ... 
doi:10.1016/j.elerap.2005.08.003 fatcat:asdw57uc5bgohew66tzctbewaa

BioQuery-ASP: querying biomedical databases and ontologies using answer set programming

Esra Erdem, Umut Oztok
2012 EMBnet journal  
programming paradigm, called Answer Set Programming (ASP) (Lifschitz, 2008; Brewka et al., 2011) .  ...  To address the second challenge (i.e., efficiently answering complex queries), first we have developed a rule layer over biomedical ontologies and databases that not only integrates the concepts in these  ... 
doi:10.14806/ej.18.b.551 fatcat:3jhwyqrhjfa7fiqvn4cb44evti

Rules and Ontologies for the Semantic Web [chapter]

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
2008 Lecture Notes in Computer Science  
Furthermore, we review technical problems underlying the integration of rules and ontologies, and classify representative proposals for theoretical integration approaches into different categories.  ...  This article gives a comprehensive, although not exhaustive, overview of such systems, describes their supported languages, and sets them in relation with theoretical approaches for combining rules and  ...  Open Answer Set Programs.  ... 
doi:10.1007/978-3-540-85658-0_1 fatcat:x75rrerlzvelbh7vpo6subgzru
« Previous Showing results 1 — 15 out of 48,881 results