liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Hybrid Rules with Well-Founded Semantics
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology. (TCSLAB)
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology. (TCSLAB)
2010 (English)In: Knowledge and Information Systems, ISSN 0219-1377, E-ISSN 0219-3116, Vol. 25, no 1, 137-168 p.Article in journal (Refereed) Published
Abstract [en]

A general framework is proposed for integration of rules and external first-order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program consists of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized in description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers (such as ontology reasoners). Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics and for completeness of the operational semantics are given.

Place, publisher, year, edition, pages
Berlin: Springer , 2010. Vol. 25, no 1, 137-168 p.
Keyword [en]
Integration of rules and ontologies, Semantic web reasoning, Knowledge representation, Well-founded semantics, Constructive negation, Constraint logic programming
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-63677DOI: 10.1007/s10115-010-0300-5ISI: 000282514300007OAI: oai:DiVA.org:liu-63677DiVA: diva2:382144
Note
The original publication is available at www.springerlink.com: Wlodzimierz Drabent and Jan Maluszynski, Hybrid Rules with Well-Founded Semantics, 2010, Knowledge and Information Systems, (25), 1, 137-168. http://dx.doi.org/10.1007/s10115-010-0300-5 Copyright: Springer Science Business Media http://www.springerlink.com/ Available from: 2010-12-29 Created: 2010-12-29 Last updated: 2011-02-15Bibliographically approved

Open Access in DiVA

fulltext(465 kB)193 downloads
File information
File name FULLTEXT01.pdfFile size 465 kBChecksum SHA-512
2ca069f5fe31a0316652af74a2246545700634e0ab953ead72e093f6b24a6e78b6e8d000cc63aa566fd4bef19a8d6f6302346716d25dade6d942ce0a18c5ef94
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Drabent, WlodzimierzMaluszynski, Jan

Search in DiVA

By author/editor
Drabent, WlodzimierzMaluszynski, Jan
By organisation
TCSLAB - Theoretical Computer Science LaboratoryThe Institute of Technology
In the same journal
Knowledge and Information Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 193 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 106 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf