Contents of Report

[Data of Report]

Report Number:: TR0866
Date of Registration:: 1994.03
English Title:: A Legal Reasoning System on a Deductive Object-Oriented Database
Japanese Title:: ***
English Author:: C.Takahashi,K.Yokota
Japanese:: ***,***
Name of Organization to which author belongs:: JIPDEC,ICOT
PDF:: tr0866.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Leagal Reasoning	.... 2
2.1	Basic Model	.... 2
2.2	Example	.... 3
3	Feature of Quixote	.... 3
3.1	Object Identity and Subsumption Relation	.... 3
3.2	Subsumption Constraints and Property Inheritance	.... 4
3.3	Rule and Module	.... 5
3.4	Query Processing	.... 6
3.5	Quixote System	.... 6
4	Legal Resoning on Quixote	.... 6
5	Concluding Remarks	.... 9
	Acknowledgments	.... 9
	References	.... 9
	End	.... 10

目次をクリックすると、PDFファイルが表示されます。