Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 14 of 14

Full-Text Articles in Entire DC Network

Towards Reasoning Pragmatics, Pascal Hitzler Dec 2009

Towards Reasoning Pragmatics, Pascal Hitzler

Computer Science and Engineering Faculty Publications

The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenges, which force us to question established lines of research and to rethink the underlying approaches.


An Anytime Algorithm For Computing Inconsistency Measurement, Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin Nov 2009

An Anytime Algorithm For Computing Inconsistency Measurement, Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin

Computer Science and Engineering Faculty Publications

Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. In this paper, we consider the computational aspects of inconsistency degrees of propositional knowledge bases under 4-valued semantics. We first analyze its computational complexity. As it turns out that computing the exact inconsistency degree is intractable, we then propose an anytime algorithm that provides tractable approximation of the inconsistency degree from above and below. We show that …


3d Reconstruction And Visualization Of A Hovering Dragonfly, Christopher Koehler, Thomas Wischgoll, Haibo Dong, Zachary Gaston, Hui Wan Oct 2009

3d Reconstruction And Visualization Of A Hovering Dragonfly, Christopher Koehler, Thomas Wischgoll, Haibo Dong, Zachary Gaston, Hui Wan

Computer Science and Engineering Faculty Publications

No abstract provided.


Fantom - Lessons Learned From Design, Implementation, Administration, And Use Of A Visualization System For Over 10 Years, Alexander Wiebel, Christoph Garth, Mario Hlawitschka, Thomas Wischgoll, Gerik Scheuermann Oct 2009

Fantom - Lessons Learned From Design, Implementation, Administration, And Use Of A Visualization System For Over 10 Years, Alexander Wiebel, Christoph Garth, Mario Hlawitschka, Thomas Wischgoll, Gerik Scheuermann

Computer Science and Engineering Faculty Publications

No abstract provided.


Suggestions For Owl 3, Pascal Hitzler Oct 2009

Suggestions For Owl 3, Pascal Hitzler

Computer Science and Engineering Faculty Publications

With OWL 2 about to be completed, it is the right time to start discussions on possible future modifications of OWL. We present here a number of suggestions in order to discuss them with the OWL user community. They encompass expressive extensions on polynomial OWL 2 profiles, a suggestion for an OWL Rules language, and expressive extensions for OWL DL.


Paraconsistent Reasoning For Owl 2, Yue Ma, Pascal Hitzler Oct 2009

Paraconsistent Reasoning For Owl 2, Yue Ma, Pascal Hitzler

Computer Science and Engineering Faculty Publications

A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as under the classical semantics. However, this approach has so far only been studied for the basid description logic ALC. In this paper, we further study how to extend the four-valued semantics to the more expressive description logic SROIQ which underlies the forthcoming revision of the Web Ontology Language, OWL 2, and also investigate how it fares when adapated to tractable description logics including …


A Preferential Tableaux Calculus For Circumscriptive Alco, Stephan Grimm, Pascal Hitzler Oct 2009

A Preferential Tableaux Calculus For Circumscriptive Alco, Stephan Grimm, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Nonmonotonic extensions of description logics (DLs) allow for default and local closed-world reasoning and are an acknowledged desired feature for applications, e.g. in the Semantic Web. A recent approach to such an extension is based on McCarthy's circumscription, which rests on the principle of minimising the extension of selected predicates to close off dedicated parts of a domain model. While decidability and complexity results have been established in the literature, no practical algorithmisation for circumscriptive DLs has been proposed so far. In this paper, we present a tableaux calculus that can be used as a decision procedure for concept satisfiability …


Accurate Extraction Of Morphological Information From Volumetric Imagery, Thomas Wischgoll Oct 2009

Accurate Extraction Of Morphological Information From Volumetric Imagery, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

No abstract provided.


Initial Framework For Measuring And Evaluating Heuristic Problem Solving, Zhisheng Huang, Annette Ten Teije, Frank Van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts Sep 2009

Initial Framework For Measuring And Evaluating Heuristic Problem Solving, Zhisheng Huang, Annette Ten Teije, Frank Van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts

Computer Science and Engineering Faculty Publications

One of the key aspects in the development of LarKC is how to evaluate the performance of the platform and its constituent components in order to guarantee that the execution of a pipeline will match the user’s needs and provide the desired solutions (answers) to the user’s queries. Therefore, in this deliverable, the first in a series three documents concerned with the definition of a Framework for Measuring and Evaluating Heuristic Problem Solving, we make the first steps towards defining such framework by considering the theoretical foundations and principles of evaluation and measurement theory, discussing several important aspects related to …


Reconstruction Of The Upper Torso Using X-Ray Imagery, Thomas Wischgoll, Christopher Koehler Jun 2009

Reconstruction Of The Upper Torso Using X-Ray Imagery, Thomas Wischgoll, Christopher Koehler

Computer Science and Engineering Faculty Publications

No abstract provided.


The Importance Of Being Neural-Symbolic - A Wilde Position, Pascal Hitzler, Kai-Uwe Kuhnberger Mar 2009

The Importance Of Being Neural-Symbolic - A Wilde Position, Pascal Hitzler, Kai-Uwe Kuhnberger

Computer Science and Engineering Faculty Publications

We argue that Neural-Symbolic Integration is a topic of central importance for the advancement of Artificial General Intelligence.


Radon - Repair And Diagnosis In Ontology Networks, Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmuller Jan 2009

Radon - Repair And Diagnosis In Ontology Networks, Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmuller

Computer Science and Engineering Faculty Publications

One of the major challenges in managing networked and dynamic ontologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating multiple distributed ontologies. Our RaDON system provides functionalities to repair and diagnose ontology networks by extending the capabilities of existing reasoners. The system integrates several new debugging and repairing algorithms, such as a relevance-directed algorithm to meet the various needs of the users.


Stereoscopic Display Technology For Visualizing Vascular Structures, Thomas Wischgoll Jan 2009

Stereoscopic Display Technology For Visualizing Vascular Structures, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

No abstract provided.


Ontologies And Rules, Pascal Hitzler, Bijan Parsia Jan 2009

Ontologies And Rules, Pascal Hitzler, Bijan Parsia

Computer Science and Engineering Faculty Publications

Ontologies and rules are two established paradigms in knowledge modelling, and play an important role for the Semantic Web. In this chapter, we present an introduction to common approaches for combining OWL ontologies and rules. In particular, we cover the Semantic Web Rules Language SWRL and Description Logic Programs DLP, and give pointers to the literature.