Inclusive and Exclusive or Interpretation for Indefinite Deductive Databases 


Vol. 9,  No. 2, pp. 243-251, Apr.  2002
10.3745/KIPSTD.2002.9.2.243


PDF
  Abstract

In order to properly interpret and process or operators in deductive databases including indefinite clauses, we propose to use Lassez's Strong Model Semantics(LSMS)[9] which is reasonably simple yet powerful enough to support both exclusive and inclusive interpretations. Conventional semantics either fail to support both interpretations or simply too complex. Therefore, in this paper we study advantages and difficulties of representing indefinite information, and as for the solution to difficulties, we show how LSMS can be used to support both inclusive or and exclusive or interpretations. We also investigate and analyze it's properties and show how it semantically differs from others. We believe that LSMS is the only "reasonably simple" semantics that supports both inclusive and exclusive interpretations.

  Statistics
  Cite this article

[IEEE Style]

Y. Y. Sok and J. H. Chun, "Inclusive and Exclusive or Interpretation for Indefinite Deductive Databases," The KIPS Transactions:PartD, vol. 9, no. 2, pp. 243-251, 2002. DOI: 10.3745/KIPSTD.2002.9.2.243.

[ACM Style]

Yoon Young Sok and Jong Hoon Chun. 2002. Inclusive and Exclusive or Interpretation for Indefinite Deductive Databases. The KIPS Transactions:PartD, 9, 2, (2002), 243-251. DOI: 10.3745/KIPSTD.2002.9.2.243.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals