37 Hits in 1.2 sec

MKNF Knowledge Bases in Multi-Context Systems [chapter]

Martin Homola, Matthias Knorr, João Leite, Martin Slota
2012 Lecture Notes in Computer Science  
In this paper we investigate the relationship between Multi-Context Systems and Hybrid MKNF Knowledge Bases.  ...  In this paper, we not only show that Hybrid MKNF Knowledge Bases can be used as particular contexts in Multi-Context Systems, but we also provide transformations from the former into the latter, without  ...  Multi-Context Systems Syntax of Multi-Context Systems Following [6] , a multi-context system consists of a collection of components, each of which contains knowledge represented in some logic.  ... 
doi:10.1007/978-3-642-32897-8_11 fatcat:mmu7inqpobdidhf2wzdp72lesa

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

M. Knorr, M. Slota, J. Leite, M. Homola
2013 Journal of Logic and Computation  
Multi-Context Systems (MCSs) allow for the integration of knowledge from different heterogeneous sources in an effective and modular way.  ...  Whereas most knowledge bases (contexts) typically considered within an MCS are written in some description logic or some nonmonotonic rule-based language, sometimes more expressive languages that combine  ...  Reducing an MKNF Context We show that MKNF knowledge bases can be used within Multi-Context Systems without using MKNF logic.  ... 
doi:10.1093/logcom/ext062 fatcat:osy2nhq5sffo3fayu3xh6igjyu

Normative Systems Represented as Hybrid Knowledge Bases [chapter]

Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
2011 Lecture Notes in Computer Science  
Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems.  ...  We define a normative scenario as the pair of a set of facts and a set of norms, and give it a formal semantics by translation into an MKNF knowledge base.  ...  Acknowledgments The authors would like to thank Ana Leite for all her advice on the Portuguese Penal Code and Matthias Knorr for discussions on the well-founded semantics for Hybrid MKNF.  ... 
doi:10.1007/978-3-642-22359-4_23 fatcat:ugp6u4ooq5crjae43fnmg65rky

Splitting and updating hybrid knowledge bases

2011 Theory and Practice of Logic Programming  
Many applications that use hybrid knowledge bases in dynamic scenarios require both DL axioms and rules to be updated.  ...  The need to use these hybrid knowledge bases in dynamic domains has called for the development of update operators, which, given the substantially different way DLs and rules are usually updated, has turned  ...  Discussion The class of updatable hybrid knowledge bases for which we defined an update semantics in the previous section is closely related to multi-context systems (Brewka and Eiter 2007) .  ... 
doi:10.1017/s1471068411000317 fatcat:s7sps267aff6fjxhjntmv5qeuy

Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling [chapter]

José Júlio Alferes, Matthias Knorr, Terrance Swift
2009 Lecture Notes in Computer Science  
The definition of Hybrid MKNF knowledge bases is parametric on the ontology language, in the sense that non-monotonic rules can extend any decidable ontology language.  ...  In this paper we define a query-driven procedure for Hybrid MKNF knowledge bases that is sound with respect to the original stable model-based semantics, and is correct with respect to the well-founded  ...  However, such an approach is far from practical for large knowledge bases, as in the Semantic Web context.  ... 
doi:10.1007/978-3-642-04930-9_1 fatcat:57lo7li3tvcwxbpwaxxqmmygte

A goal-directed implementation of query answering for hybrid MKNF knowledge bases

2013 Theory and Practice of Logic Programming  
In this paper we provide such algorithms, and describe the implementation of a query-driven system,CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics  ...  AbstractOntologies and rules are usually loosely coupled in knowledge representation formalisms.  ...  base system.  ... 
doi:10.1017/s1471068412000439 fatcat:ojemxrugrvehti6qqkk7fa5u3i

Reasoning with inconsistencies in hybrid MKNF knowledge bases

S. Huang, Q. Li, P. Hitzler
2012 Logic Journal of the IGPL  
At last we present the data complexity of instance checking in different para-MKNF knowledge bases.  ...  This paper is concerned with the handling of inconsistencies occurring in the combination of description logics and rules, especially in hybrid MKNF knowledge bases.  ...  However, real knowledge bases will be distributed and multi-authored. It is unreasonable to require every knowledge base to be logically consistent.  ... 
doi:10.1093/jigpal/jzs043 fatcat:2i7ix42byvdr3lztmwc6shxwxa


2017 Scientia Iranica. International Journal of Science and Technology  
This paper proposes a Prioritized Ontology-Based Access Control (POBAC) model for protecting users' information in OSNs.  ...  Using MKNF + , we can utilize non-monotonic inference (i.e., closed-world reasoning) in the access control procedure.  ...  Each MKNF + knowledge base is a pair K = (O; P ), where O is a DL knowledge base and P is a program ( nite set of MKNF + rules).  ... 
doi:10.24200/sci.2017.4576 fatcat:kbaxkqjnrratxlibm2ba64q7vy

Policy specification and enforcement in online social networks using MKNF+

Mahdi Alizadeh, Seyyed Ahmad Javadi, Morteza Amini, Rasool Jalili
2012 2012 9th International ISC Conference on Information Security and Cryptology  
In this paper, a prioritized ontology based access control model for protecting users' information in OSNs is proposed.  ...  Using MKNF + , we can have nonmonotonic inference (i.e., closed-world reasoning) in the access control procedure.  ...  If conditions in the antecedent of a rule are satisfied by the knowledge base, predicates in the consequent of the rule will be added to the knowledge base.  ... 
doi:10.1109/iscisc.2012.6408190 fatcat:l6akr7a36fbfxpi2esjptv2htq

Nonmonotonic Nominal Schemas Revisited

Matthias Knorr
2015 International Workshop on Description Logics  
In this paper, we aim to remedy that by studying an alternative set of restrictions to achieve decidability, and we show that the existing embeddings of the formalisms covered by the full language can  ...  Building on the existing relation between epistemic extensions of DLs and Hybrid MKNF, we can also investigate the relation to parameterized logic programs [12, 13] , or multi-context systems [5] using  ...  Closed defaults are limited in their applicability to individuals explicitly mentioned in the knowledge base.  ... 
dblp:conf/dlog/Knorr15 fatcat:ga2eoczdzfcs5jdgte7enrs4wm

Rules and Ontologies for the Semantic Web [chapter]

Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres
2008 Lecture Notes in Computer Science  
We direct our attention here to rule-based approaches for the Semantic Web, in view of rule systems operating upon RDF data, and ontology languages for the Web, in particular RDF Schema, OWL, and its dialects  ...  After that, we examine in Section 4 several languages and systems with respect to these criteria.  ...  Full Integration: Hybrid MKNF knowledge bases Building on Lifschitz's bimodal Logic of Minimal Knowledge and Negation as Failure (MKNF) [60] , hybrid MKNF knowledge bases [69, 68] aim at a seamless  ... 
doi:10.1007/978-3-540-85658-0_1 fatcat:x75rrerlzvelbh7vpo6subgzru

Information Flow within Relational Multi-context Systems [chapter]

Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2014 Lecture Notes in Computer Science  
Multi-context systems (MCSs) are an important framework for heterogeneous combinations of systems within the Semantic Web.  ...  All these mechanisms are presented in the form of general-purpose design patterns. Their study also suggests new ways in which this framework can be further extended.  ...  A homogenous approach to combining systems is exemplified by hybrid MKNF knowledge bases [29] , which however are not modular.  ... 
doi:10.1007/978-3-319-13704-9_8 fatcat:iygelc365bagngjv3lzwikkcvi

On Integrating Description Logics and Rules under Minimal Hypotheses [chapter]

Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
2012 Lecture Notes in Computer Science  
A central and much debated topic in the Knowledge Representation and Reasoning community is how to combine open-world with closed-world formalisms, such as Description Logics (DLs) with Logic Programming  ...  Because this semantics is more general than the currently employed semantics for hybrid DL-NLP KBs based on Stable Model (SM) semantics, and because MH semantics guarantees model existence for every NLP  ...  Moreover, our MH-based approach, besides covering all the cases an SM-based one would, still keeps within optimal complexity results.  ... 
doi:10.1007/978-3-642-33203-6_24 fatcat:3t5slp6omjgu3og4hu2eqnrzpm

Inconsistency Management in Reactive Multi-context Systems [chapter]

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2016 Lecture Notes in Computer Science  
In particular, we show how to integrate data streams into multi-context systems (MCSs) and how to model the dynamics of the systems, based on two types of bridge rules.  ...  In this paper, we begin by introducing reactive multicontext systems (rMCSs), a framework for reactive reasoning in the presence of heterogeneous knowledge sources.  ...  Reactive Multi-Context Systems Reactive multi-context systems (rMCSs) make use of basic ideas from managed multi-context systems (mMCSs) [8] which extend multi-context systems (MCSs) as defined by Brewka  ... 
doi:10.1007/978-3-319-48758-8_35 fatcat:2lr7e3u64zfbzk2ctk5uqhoqdq

Description Logics, Rules and Multi-context Systems [chapter]

Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
2013 Lecture Notes in Computer Science  
Despite this, we show that every Mdl-program can be transformed in a multi-context system, and this transformation relates the different semantics for each paradigm in a natural way.  ...  In this paper, we look at two of these formalisms, Mdl-programs and multi-context systems, which address different aspects of this combination, and include different, incomparable programming constructs  ...  particular, rules and ontologies can also be combined within ALlog [8] , Hex-programs [11] , MKNF [14] and multi-context systems [2, 4] .  ... 
doi:10.1007/978-3-642-45221-5_18 fatcat:2l3cdgc4erep7bct62y4bodkxe
« Previous Showing results 1 — 15 out of 37 results