New HELIC-II

Nitta, Katsumi; Shibasaki, M.; Sakata, Tsuyoshi; Yamaji, Takahiro; Wang, Xianchang; Ohsaki, Hiroshi; Tojo, Satoshi; Kokubo, Iwao; Suzuki, Takahiro

doi:10.1145/222092.222260

Cited by 18 publications

(3 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…6. The new B-rule is the first step to supplement missing arguments in relation and meta-relation types, similarly to the manipulation of predicate arguments in Order-Sorted Logic (Kaneiwa 2004;Nitta 1995). …”

Section: Notesmentioning

confidence: 99%

See 1 more Smart Citation

Meta-relation and ontology closure in Conceptual Structure Theory

et al. 2009

View full text Add to dashboard Cite

This paper presents an enhanced ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. Most existing ontology formalisms place greater importance on concept types, but in this paper we focus on relation types, which are in essence predicates on concept types. We formalize the notion of 'predicate of predicates' as meta-relation type and introduce the new hierarchy of meta-relation types as part of the ontology definition. The new notion of closure of a relation or meta-relation type is presented as a means to complete that relation or meta-relation type by transferring extra arguments and properties from other related types. The end result is an expanded ontology, called the closure of the original ontology, on which automated inference could be more easily performed. Our proposal could be viewed as a novel and improved ontology formalization within Conceptual Structure Theory and a contribution to knowledge representation and formal reasoning (e.g., to build a query-answering system for legal knowledge).

show abstract

Section: Notesmentioning

confidence: 99%

“…3. Closure is a way in Conceptual Structure Theory to complete missing arguments in a relation type or instance, similar to the way Order-Sorted Logic supplements missing arguments in concept predicates (Kaneiwa 2004;Nitta 1995) in order to improve inference and reasoning.…”

Section: Ontology Closure Constructionmentioning

confidence: 99%

Meta-relation and ontology closure in Conceptual Structure Theory

et al. 2009

View full text Add to dashboard Cite

show abstract

“…Logical processing in the legal domain has widely been studied by AI researchers for a long time [8,9]. They have, however, aimed at finding what kind of law can apply to a particular incident, not at proving law per se.…”

Section: Introductionmentioning

confidence: 99%

Towards Translation of Legal Sentences into Logical Forms

Nakamura

Nobuoka

Shimazu

2008

New Frontiers in Artificial Intelligence

View full text Add to dashboard Cite

Abstract. This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalization conforms to Davidsonian Style, which is suitable for languages allowing expressions with zero-pronouns such as Japanese. We examine our system with actual data of legal documents. As a result, the system was 78% of accurate in terms of deriving predicates with bound variables. We discuss our plan for further development of the system from the viewpoint of the following two aspects: (1) improvement of accuracy (2) formalization of output necessary for logical processing.

show abstract