Combining Nonmonotonic Knowledge Bases with External Sources

作者: Thomas Eiter , Gerhard Brewka , Minh Dao-Tran , Michael Fink , Giovambattista Ianni

DOI: 10.1007/978-3-642-04222-5_2

关键词: Knowledge baseKnowledge integrationOpen Knowledge Base ConnectivityKnowledge-based systemsComputer scienceKnowledge managementKnowledge engineeringKnowledge extractionDomain knowledgeProcedural knowledge

摘要: The developments in information technology during the last decade have been rapidly changing possibilities for data and knowledge access. To respect this, several declarative representation formalisms extended with capability to access sources that are external a base. This article reviews some of these centered around Answer Set Programming, viz. HEX-programs, modular logic programs, multi-context systems, which were developed by KBS group Vienna University Technology cooperation colleagues. These designed different principles four settings, thus properties features; however, as argued, they not unrelated. Furthermore, provide basis advanced knowledge-based targeted ongoing research projects.

参考文章(42)
Gerhard Brewka, Luciano Serafini, Floris Roelofsen, Contextual default reasoning international joint conference on artificial intelligence. pp. 268- 273 ,(2007)
Grigoris Antoniou, Carlos Viegas Damásio, Anastasia Analyti, A principled framework for modular web rule bases and its semantics principles of knowledge representation and reasoning. pp. 390- 400 ,(2008)
Thomas Krennwallner, Thomas Eiter, Michael Fink, Decomposition of declarative knowledge bases with external functions international joint conference on artificial intelligence. pp. 752- 758 ,(2009)
Gerhard Brewka, Thomas Eiter, Equilibria in heterogeneous nonmonotonic multi-context systems national conference on artificial intelligence. pp. 385- 390 ,(2007)
Jouko Väänänen, Generalized Quantifiers, an Introduction Lecture Notes in Computer Science. pp. 1- 17 ,(1999) , 10.1007/3-540-46583-9_1
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner, Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs Logic Programming and Nonmonotonic Reasoning. pp. 87- 100 ,(2009) , 10.1007/978-3-642-04238-6_10
Vladimir Lifschitz, Twelve Definitions of a Stable Model international conference on logic programming. pp. 37- 51 ,(2008) , 10.1007/978-3-540-89982-2_8
Roman Schindlauer, Hans Tompits, Thomas Eiter, Giovambattista Ianni, A uniform integration of higher-order reasoning and external evaluations in answer-set programming international joint conference on artificial intelligence. pp. 90- 96 ,(2005)
Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev, Semi-qualitative Reasoning about Distances: A Preliminary Report Springer US. pp. 37- 56 ,(2000) , 10.1007/3-540-40006-0_4
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner, Modular Nonmonotonic Logic Programming Revisited international conference on logic programming. pp. 145- 159 ,(2009) , 10.1007/978-3-642-02846-5_16