排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
Dan Moldovan Christine Clark Sanda Harabagiu Daniel Hodges 《Journal of Applied Logic》2007,5(1):49-69
This paper presents the architecture and functionality of a logic prover designed for question answering. The approach transforms questions and answer passages into logic representations based on syntactic, semantic and contextual information. World knowledge supplements the linguistic, ontological, and temporal axioms supplied to the prover which renders a deep understanding of the relationship between the question and answer text. The trace of the proofs provides a basis for generating human comprehensible answer justifications. The results show that the prover boosts the performance of the Question Answering system on TREC 2004 questions by 12%. 相似文献
2.
The paper presents DLV+, a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, update, browse, query, and reason on knowledge bases. Two strong points of the system are the powerful type-checking mechanism and the advanced interface for visual querying.DLV+ is already used for the development of knowledge based applications for information extraction and text classification. 相似文献
3.
《Journal of Applied Logic》2014,12(1):67-74
The paper contains a short summary – oriented by a logical point of view – of a joint work on Formal Ontologies. We shall show how Formal Ontologies correspond to Coherent Spaces, and operations on Formal Ontologies correspond to operations on corresponding Coherent Spaces. So, we are offering a new way to establish the semantics of Formal Ontologies. Surely, we are giving a contribution towards a geometrical treatment of Formal Ontologies (as decidable organizations of digital data). 相似文献
1