Physical Sciences and Mathematics Commons^™

Computing Inconsistency Measure Based On Paraconsistent Semantics, Pascal Hitzler, Yue Ma, Guilin Qi

Computer Science and Engineering Faculty Publications

Measuring inconsistency in knowledge bases has been recognized as an important problem in several research areas. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. However, existing methods suffer from two limitations: (i) they are mostly restricted to propositional knowledge bases; (ii) very few of them discuss computational aspects of computing inconsistency measures. In this article, we try to solve these two limitations by exploring algorithms for computing an inconsistency measure of first-order knowledge bases. After introducing a four-valued semantics for first-order logic, we define an …

Owl And Rules, Adila Krisnadhi, Frederick Maier, Pascal Hitzler

Computer Science and Engineering Faculty Publications

The relationship between the Web Ontology Language OWL and rule-based formalisms has been the subject of many discussions and research investigations, some of them controversial. From the many attempts to reconcile the two paradigms, we present some of the newest developments. More precisely, we show which kind of rules can be modeled in the current version of OWL, and we show how OWL can be extended to incorporate rules. We finally give references to a large body of work on rules and OWL.

Local Closed World Semantics: Keep It Simple, Stupid!, Adila Krishnadhi, Kunal Sengupta, Pascal Hitzler

Computer Science and Engineering Faculty Publications

A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web applications. However, none of the proposals made to date for extending description logics with local closed world capabilities has had any significant impact on applications. We believe that one of the key reasons for this is that current proposals fail to provide approaches which are intuitively accessible for application developers at the same time are applicable, as extensions, to expressive description logics as SROIQ, which underlies the Web Ontology Language OWL.

In this paper, we propose …

Syntax Proposal For Nominal Schemas, David Carral Martinez, Adila A. Krisnadhi, Pascal Hitzler

Computer Science and Engineering Faculty Publications

This paper proposes a syntax representation for nominal schemas, a new description-logic style ex- tension of OWL 2 [2, 3]. Necessary and minimal modifications to Functional and Manchester grammars are included as well as mappings from these two syntaxes to Turtle. An appendix with two examples is added in order to clarify the proposal.

Local Closed-World Reasoning With Description Logics Under The Well-Founded Semantics, Matthias Knorr, Jose Julio Alferes, Pascal Hitzler

Computer Science and Engineering Faculty Publications

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based …

Work In Progress: Vortex Detection And Visualization For Design Of Micro Air Vehicles And Turbomachinery, Rhonda J. Vickery, Thomas Wischgoll, Christopher Koehler, Matthew Pickett, Neal Eikenberry, Lance Harris, Richard E. Snyder, Darius Sanders, Haibo Dong, Randall Hand, Hugh Thornburg

Computer Science and Engineering Faculty Publications

No abstract provided.

Multi-Field Visualization For Biomedical Data Sets, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

No abstract provided.

What's Happening In Semantic Web ... And What Fca Could Have To Do With It, Pascal Hitzler

Computer Science and Engineering Faculty Publications

The Semantic Web is gaining momentum. Driven by over 10 years of focused project funding in the US and the EU, Semantic Web Technologies are now entering application areas in industry, academia, government, and the open Web.

The Semantic Web is based on the idea of describing the meaning - or semantics - of data on the Web using metadata - data that describes other data - in the form of ontologies, which are represented using logic-based knowledge representation languages. Central to the transfer of Semantic Web into practice is the Linked Open Data effort, which has already resulted in …

Analysis And Visualization Of Vascular Structures, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

No abstract provided.

Reconciling Owl And Rules, David Carral Martinez, Adila A. Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as nominal schemas, which realizes a seamless integration of Datalog rules into the description logic SROIQ which underlies OWL 2 DL. We present extensions of the standardized OWL syntaxes to incorporate nominal schemas, reasoning algorithms, and a first naive implementation. And we argue why this approach goes a long way towards overcoming the present paradigm split.

A Proof That P≠Np, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We demonstrate the separation of the complexity class NP from its subclass P.

3d Reconstruction Of Human Ribcage And Lungs And Improved Visualization Of Lung X-Ray Images Through Removal Of The Ribcage, Christopher Koehler, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

The analysis of X-ray imagery is the standard pre-screening approach for lung cancer. Unlike CT-scans, X-ray images only provide a 2D projection of the patient’s body. As a result occlusions, i.e. some body parts covering other areas of the body within this projected X-ray image, can make the analysis more difficult. For example, the ribs, a predominant feature within the X-ray image, can cover up cancerous nodules, making it difficult for the Computer Aided Diagnostic (CAD) systems or even a doctor to detect such nodules. Hence, this paper describes a methodology for reconstructing a patient-specific 3D model of the ribs …