In this paper we present an approach to database querying based on fuzzy evaluation of queries. In the approach a dedicated mining for domain knowledge is involved. the result of this is a special kind of associations...
详细信息
Towards combining rules and ontologies for the Semantic Web, nonmonotonic Description Logic Programs (dl-programs) have been proposed as a powerful formalism to couple nonmonotonic logic programming and Description Lo...
详细信息
Towards combining rules and ontologies for the Semantic Web, nonmonotonic Description Logic Programs (dl-programs) have been proposed as a powerful formalism to couple nonmonotonic logic programming and Description Logic reasoning on a clear semantic basis. In this paper, we present cq-programs, which enhance dl-programs with conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics knowledge bases, as well as with disjunctive rules. the novel formalism has two advantages. First, it offers increased expressivity because it allows for (U)CQs in the bodies of the rules. the (U)CQs allow one to access unnamed individuals in the rules and they increase the expressivity of the formalism, as evident from the increase in complexity from NEXP to 2-EXP. And second, when implemented as a combination between a logic programming system and a DL-reasoner, this integration of rules and ontologies gives rise to strategies for optimizing calls to the DL-reasoner, by exploiting specific support for (U)CQs. To this end, we present equivalence preserving transformations which can be used for program rewriting, and we present respective generic rewriting algorithms. Experimental results for a cq-program prototype show that this can lead to significant performance improvements, and suggest that cq-programs and program rewriting provide a useful basis for dl- and cq-program optimization.
Diverse data is collected in health care for secondary usage. However, this data is collected by various parties and processed by numerous information systems. Hence, to get reliable results, the data integrity must b...
详细信息
Recently, virtual worlds like "Second Life" have received a lot of attention not only as environments that, promote social interaction, but also as media in which scientific research can be performed effecti...
详细信息
ISBN:
(纸本)9783642021145
Recently, virtual worlds like "Second Life" have received a lot of attention not only as environments that, promote social interaction, but also as media in which scientific research can be performed effectively. In this latter aspect, they offer several advantages over traditional 3D visual applications, such as the capacity of supporting true collaborative endeavors in which real people, through the use of graphical avatars, can simultaneously discuss and analyze data, thereby enhancing their collaborative experience. Unfortunately, processing capabilities of current virtual worlds are limited when trying to visualize this data as 3D objects. External applications to solve this problem have been developed, but their functionality is obscure and they require good understanding in programminglanguages. To overcome these inconveniences for common users, we have developed EML3D (Environment Markup Language 3D), a markup language that provides a tool to manipulate virtual objects in Second Life in an easy and stable way.
Manycore architectures are gaining attention as a means to meet the performance and power demands of high-performance embedded systems. However, their widespread adoption is sometimes constrained by the need for maste...
详细信息
this book constitutes the thoroughly refereed proceedings of the 10thinternationalsymposium on Automated Technology for Verification and Analysis, ATVA 2012, held at thiruvananthapuram, Kerala, India, in October 201...
详细信息
ISBN:
(数字)9783642333866
ISBN:
(纸本)9783642333859
this book constitutes the thoroughly refereed proceedings of the 10thinternationalsymposium on Automated Technology for Verification and Analysis, ATVA 2012, held at thiruvananthapuram, Kerala, India, in October 2012. the 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
Operator Precedence Grammars (OPGs) define a deterministic class of context-free languages, which extend input-driven languages and still enjoy many properties: they are closed w.r.t. Boolean operations, concatenation...
详细信息
作者:
Becket, RalphSomogyi, ZoltanNICTA
Department of Computer Science and Software Engineering University of Melbourne 111 Barry Street Parkville VIC 3010 Australia
Packrat parsing is a newly popular technique for efficiently implementing recursive descent parsers. Packrat parsing avoids the potential exponential costs of recursive descent parsing with backtracking by ensuring th...
详细信息
the concept of classification as realized in most traditional object-oriented computer languages has certain limitations that may inhibit its application to modeling more complex phenomena. this is likely to prove pro...
详细信息
Context-sensitive graph grammars have been rigorous formalisms for specifying visual programminglanguages, as they possess sufficient expressive powers and intuitive forms. Efficient parsing mechanisms are essential ...
详细信息
暂无评论