A deductive object-oriented database system for situated inference in law

Stephen Wong, Satoshi Tojo

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


Deductive Object-Oriented Databases and Situation Theory are two important areas of research in the fields of database and of linguistics. AI and Law is a new field attracting both AI researchers and legal practitioners. Our research brings together the former two fields with the aim of designing knowledge applications in the latter. This is achieved through a formal model for legal reasoning, SM, and a deductive object-oriented database system, QUIXOTE. The purpose of this paper is to introduce the key features of this formal model, based on situation theory, and to describe how this database system can implement this abstract model for complex legal reasoning applications. Concrete examples from legal precedents are used to illustrate these advanced features.

Original languageEnglish (US)
Pages (from-to)496-503
Number of pages8
JournalIEEE Transactions on Knowledge and Data Engineering
Issue number3
StatePublished - 1996


  • Al and law
  • Deductive object-oriented databases
  • Knowledge base management systems
  • Situation theory

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering
  • Artificial Intelligence
  • Information Systems


Dive into the research topics of 'A deductive object-oriented database system for situated inference in law'. Together they form a unique fingerprint.

Cite this