Papers Submitted to the Workshop
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.