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

Direct link
Approximate Databases : A support tool for approximate reasoning
2006 (English)In: Journal of applied non-classical logics, ISSN 1166-3081, Vol. 16, no 1-2, 87-118Article in journal (Refereed) Published
Abstract [en]

This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The implementation is based upon the use of a standard SQL database to store logical facts, augmented with several query interface layers implemented in JAVA through which extensional, intensional and local closed world nonmonotonic queries in the form of crisp or approximate logical formulas can be evaluated tractably. A graphical database design user interface is also provided which simplifies the design of databases, the entering of data and the construction of queries. The theory and semantics for AKDBs is presented in addition to application examples and details concerning the database implementation.

Place, publisher, year, pages
Éditions Hermès-Lavoisier, 2006. Vol. 16, no 1-2, 87-118
Keyword [en]
approximate reasoning, approximate databases, knowledge representation, secondorder quantifier elimination
National Category
Computer Science
URN: urn:nbn:se:liu:diva-31792DOI: 10.3166/jancl.16.87-117Local ID: 17616OAI: diva2:252615
Special issue on implementation of logicsAvailable from2009-10-09 Created:2009-10-09 Last updated:2012-02-13

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Doherty, PatrickMagnusson, MartinSzalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
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

Altmetric score

Total: 21 hits
ReferencesLink to record
Permanent link

Direct link