Towards a Legal Reasoning System based on Description Logics: A Position Paper

Makoto Haraguchi

Recently in Japan, some researchers try to develop a legal ontology consisting legal concepts and conceptual relationships between them. The latter ones can be roles in description logics. So if we like to build a large legal knowledge base, we would have a description logic containing many legal conceptual terms linked by roles. Based on this, an efficient reasoner (RKB interpreter) would be designed as an extension of FOL prover, for both DL and FOL makes the same assumption that each object has its identity and every concept is a set of objects.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.