Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Biomedical Visualization (2)
- Cardiovascular (2)
- Educational Computer Game (2)
- Fly-Through (2)
- Navigation (2)
-
- Approximation (1)
- Data Integration (1)
- Distribution (1)
- Fitting Semantics (1)
- Logic Programming (1)
- Modularisation (1)
- Nonmonotonic Reasoning (1)
- Ontology Alignment (1)
- Peer-to-Peer (1)
- Scalability (1)
- Stable Semantics (1)
- State-of-the-Art (1)
- Stratification (1)
- Symbolic Reasoning (1)
- Well-Founded Semantics (1)
Articles 1 - 11 of 11
Full-Text Articles in Physical Sciences and Mathematics
The Screech Owl Reasoner - Scalable Approximate Abox Reasoning With Owl, Pascal Hitzler, Denny Vrandecic
The Screech Owl Reasoner - Scalable Approximate Abox Reasoning With Owl, Pascal Hitzler, Denny Vrandecic
Computer Science and Engineering Faculty Publications
We present a preliminary version of the approximate OWL reasoning system SCREECH. It builds on the KAON2 system and performs OWL ABox reasoning in an approximate manner. It trades soundness of reasoning for efficiency, with resulting polynomial worst-case data complexity. It has been developed for use in time-critical applications where quick response time is more important than a full guarantee of correctness of answers. The theoretical background for the system is explained in [Hitzler and Vrandecic, 2005] and is being presented at the conference.
Towards A Systematic Account Of Different Semantics For Logic Programs, Pascal Hitzler
Towards A Systematic Account Of Different Semantics For Logic Programs, Pascal Hitzler
Computer Science and Engineering Faculty Publications
A new methodology has been proposed which allows one to derive uniform characterizations of different declarative semantics for logic programs with negation. One result from this work is that the well-founded semantics can formally be understood as a stratified version of the Fitting (or Kripke–Kleene) semantics. The constructions leading to this result, however, show a certain asymmetry which is not readily understood. We study this situation here with the result that we obtain a coherent picture of relations between different semantics for normal logic programs.
Integrated Visualization And Analysis Of A Pig's Cardiovascular System, Joerg Meyer, Thomas Wischgoll, Elke Moritz
Integrated Visualization And Analysis Of A Pig's Cardiovascular System, Joerg Meyer, Thomas Wischgoll, Elke Moritz
Computer Science and Engineering Faculty Publications
No abstract provided.
Fly Through A Pig's Heart: An Educational Computer Game, Thomas Wischgoll, Joerg Meyer
Fly Through A Pig's Heart: An Educational Computer Game, Thomas Wischgoll, Joerg Meyer
Computer Science and Engineering Faculty Publications
No abstract provided.
Specification Of A Common Framework For Characterizing Alignment, Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Pascal Hitzler, Markus Krotzsch, Luciano Serafini, Giorgos Stamu, York Sure, Sergio Tessaris
Specification Of A Common Framework For Characterizing Alignment, Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Pascal Hitzler, Markus Krotzsch, Luciano Serafini, Giorgos Stamu, York Sure, Sergio Tessaris
Computer Science and Engineering Faculty Publications
Definition of a common framework for characterizing alignment of heterogeneous information. This report describes various approaches towards this goal and shows the relations between them. It also provides a description of the alignment sructure and process.
Dlpconvert: Converting Owl Dlp Statements To Logic Programs, Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, Rudi Studer
Dlpconvert: Converting Owl Dlp Statements To Logic Programs, Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, Rudi Studer
Computer Science and Engineering Faculty Publications
In the past few years, the W3C has been establishing standards for the fundamental building blocks of the Semantic Web. With RDF a common data model has been provided. A major step was the introduction of the ontology definition languages RDFS—offering very basic semantics—and the Web Ontology Language OWL As these standards are still very new, only a limited support of tools for inferencing and querying exists. Still, the availability of such tools will be crucial for the development of the Semantic Web.
Visualizing Very Large-Scale Vascular Structures Interactively, Thomas Wischgoll, Joerg Meyer, Benjamin Kaimovitz, Yoram Lanir, Ghassan S. Kassab
Visualizing Very Large-Scale Vascular Structures Interactively, Thomas Wischgoll, Joerg Meyer, Benjamin Kaimovitz, Yoram Lanir, Ghassan S. Kassab
Computer Science and Engineering Faculty Publications
No abstract provided.
An Explorational Exhibit Of A Pig's Heart, Thomas Wischgoll, Joerg Meyer
An Explorational Exhibit Of A Pig's Heart, Thomas Wischgoll, Joerg Meyer
Computer Science and Engineering Faculty Publications
No abstract provided.
The Interior Of A Pig's Heart: A Museum Exhibit, Thomas Wischgoll, Joerg Meyer
The Interior Of A Pig's Heart: A Museum Exhibit, Thomas Wischgoll, Joerg Meyer
Computer Science and Engineering Faculty Publications
Coronary heart diseases (CHD) are one of the primary causes of deaths in the United States. It is commonly accepted that certain factors, such as a cholesterol high diet, increase the risk of coronary heart diseases. As a consequence, people should be educated to adhere a diet low in low-density lipoprotein (LDL or bad cholesterol). ln order for children to become familiar with these facts, educational computer games can be employed to raise some awareness. This poster describes an educational museum exhibit that serves this purpose. ln a game-like environment, children can practice their navigation skills, while learning about the …
Methods For Approximate Reasoning, Perry Groot, Pascal Hitzler, Ian Horrocks, Boris Motik, Jeff Z. Pan, Heiner Stuckenschmidt, Daniele Turi, Holger Wache
Methods For Approximate Reasoning, Perry Groot, Pascal Hitzler, Ian Horrocks, Boris Motik, Jeff Z. Pan, Heiner Stuckenschmidt, Daniele Turi, Holger Wache
Computer Science and Engineering Faculty Publications
This deliverable shows examples about approximating symbolic inference engines in a Semantic Web environment. Approaches of language weakening, knowledge compilation, and approximated deduction are presented. The last one is evaluated in practical applications with mixed results.
Fly Through A Pig's Heart, Thomas Wischgoll
Fly Through A Pig's Heart, Thomas Wischgoll
Computer Science and Engineering Faculty Publications
This exhibit enables you to go on a fantastic voyage through the blood stream. Based on a scan of a real pig’s heart the arterial blood vessels were modeled allowing you to navigate through the vascular system of this heart and explore the blood and its different particles.