- 1、本文档共16页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
OntoDLV An Object-Oriented Disjunctive Logic Programming System
OntoDLV: An Object-Oriented Disjunctive Logic
Programming System
Nicola Leone, Francesco Ricca
Department of Mathematics, University of Calabria, Rende (CS) 87036, Italy
Abstract. The paper presents OntoDLV a system based on an extension
of Disjunctive Logic Programming (DLP) which combines the expres-
sive power of DLP with the modeling capabilities of the object-oriented
languages. In particular, the OntoDLV language supports the most im-
portant object-oriented constructs including classes, objects, (multiple)
inheritance, and types.
OntoDLV is built on top of DLV (a state-of-the art DLP system), and
provides a graphical user interface that allows 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.
1 Introduction
Disjunctive Logic Programming under the Stable Model Semantics [1] (DLP) is
an expressive logic programming language, which has been proposed in the area
of nonmonotonic reasoning and logic programming.
The high expressive power of DLP [2] can be profitably exploited when one
has to deal with problems of high complexity, and this makes DLP an ad-
vanced formalism for Knowledge Representation and commonsense Reasoning
(KRR)[1].
Moreover, the availability of a couple of efficient DLP systems, like DLV [3],
GnT [4] and, more recently, the disjunctive version of Cmodels [5] make DLP a
powerful tool for developing advanced knowledge-based applications [6, 7].
Despite its high expressiveness, there are several problems that DLP can-
not encode in a natural way. For instance, it misses constructs for representing
complex real-world entities[8], like classes, objects, compound objects, and tax-
onomies. Moreover, DLP systems are missing tools for supporting the program-
mers, like type-checkers and easy-to-use graphical environments, to manage the
large and complex domains to be dealt with in real-world applications.
The recent
您可能关注的文档
- Multimedia Information Retrieval Based on Spatiotemporal Relationships Using Description Logics.pdf
- Multiple Perspectives for the Study of Teaching:Knowledge,Reason, Understanding, and Being.pdf
- Multiplicative operator splittings in nonlinear diffusion from spatial splitting to multipl.pdf
- Multiplicity dependence of identical particle correlations in the quantum optical approach.pdf
- music, feeling,and the human brain.pdf
- musician graint in USA.ppt
- Multiresolution green’s function methods for interactive simulation of large-scale elastos.pdf
- Mutagenesis of the N-linked glycosylation sites of the yellow fever virus NS1 protein.pdf
- Mutual Absolute Continuity of Harmonic and Surface Measures for Hormander Type Operators.pdf
- MVS0608_02-Datasheet.pdf
文档评论(0)