Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 7 of 7
Full-Text Articles in Physical Sciences and Mathematics
Owl And Rules, Adila Krisnadhi, Frederick Maier, Pascal Hitzler
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.
Syntax Proposal For Nominal Schemas, David Carral Martinez, Adila A. Krisnadhi, Pascal Hitzler
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.
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
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
Multi-Field Visualization For Biomedical Data Sets, Thomas Wischgoll
Computer Science and Engineering Faculty Publications
No abstract provided.
Analysis And Visualization Of Vascular Structures, Thomas Wischgoll
Analysis And Visualization Of Vascular Structures, Thomas Wischgoll
Computer Science and Engineering Faculty Publications
No abstract provided.
A Proof That P≠Np, Pascal Hitzler
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
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 …