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-118 p.Article in journal (Refereed) Published
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, edition, pages
Éditions Hermès-Lavoisier , 2006. Vol. 16, no 1-2, 87-118 p.
approximate reasoning, approximate databases, knowledge representation, secondorder quantifier elimination
National CategoryComputer Science
IdentifiersURN: urn:nbn:se:liu:diva-31792DOI: 10.3166/jancl.16.87-117Local ID: 17616OAI: oai:DiVA.org:liu-31792DiVA: diva2:252615
Special issue on implementation of logics2009-10-092009-10-092012-02-13