Follow

Submissions from 2009

PDF

Suggestions for OWL 3, Pascal Hitzler

PDF

Towards Reasoning Pragmatics, Pascal Hitzler

Link

Facets of Artificial General Intelligence, Pascal Hitzler and Kai-Uwe Kuhnberger

PDF

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

PDF

Ontologies and Rules, Pascal Hitzler and Bijan Parsia

Conceptual Structures in Practice, Pascal Hitzler and Henrik Scharfe

PDF

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, and Angus Roberts

Link

Biophysical Model of the Spatial Heterogeneity of Myocardial Flow, Yunlong Huo, Benjamin Kaimovitz, Yoram Lanir, Thomas Wischgoll, Julien I.E. Hoffman, and Ghassan S. Kassab

PDF

RaDON - Repair and Diagnosis in Ontology Networks, Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, and Steffen Stadtmuller

A Method of Converting a Fuzzy System to a Two-layered Hierarchical Fuzzy System and its Run-time Efficiency, Moon G. Joo and Thomas Sudkamp

Link

The Wright State Model for Engineering Mathematics Education: A Nationwide Adoption, Assessment and Evaluation, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, and Richard Mercer

PDF

3D Reconstruction and Visualization of a Hovering Dragonfly, Christopher Koehler, Thomas Wischgoll, Haibo Dong, Zachary Gaston, and Hui Wan

3-D Reconstruction of the Human Ribcage Based on Chest X-Ray Images and Geometric Template Models, Christopher Koehler, Thomas Wischgoll, and Forouzan Golshani

Link

A Data Mining Approach to Predicting Phylum for Microbial Organisms Using Genome-Wide Sequence Data, Rao M. Kotamarti, Douglas W. Raiford, Michael L. Raymer, and Margaret H. Dunham

PDF

Scientific Components of DNA Evidence: Molecular Biology and Population Genetics, Dan E. Krane

Time for DNA Disclosure, Dan E. Krane, Volker Bahn, D. Balding, B. Barlow, H. Cash, B. L. Desportes, P. D'Eustachio, K. Devlin, Travis E. Doom, I. Dror, S. Ford, C. Funk, Jason Gilder, G. Hampikian, K. Inman, A. Jamieson, P. E. Kent, R. Koppl, I. Kornfield, S. Krimsky, J. Mnookin, L. Mueller, E. Murphy, D. R. Paoletti, D. A. Petrov, Michael L. Raymer, D. M. Risinger, A. Roth, N. Rudin, W. Sheilds, J. A. Siegel, M. Slatkin, Y. S. Song, T. Speed, C. Spiegelman, P. Sullivan, A. R. Swienton, Thaddeus Tarpey, William C. Thompson, E. Ungvarsky, and S. Zabell

PDF

Paraconsistent Reasoning for OWL 2, Yue Ma and Pascal Hitzler

PDF

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

Link

Inconsistency-Tolerant Reasoning with Networked Ontologies, Guilin Qi, Peter Haase, Simon Schenk, Steffen Stadtmuller, and Pascal Hitzler

Testing an In-Home Gait Assessment Tool for Older Adults, Fang Wang, Erik Stone, Wenqing Dai, Tanvi Banerjee, Jarod Giger, Jean Krampe, Marilyn J. Rantz, and Marjorie Skubic

PDF

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, and Gerik Scheuermann

PDF

Accurate Extraction of Morphological Information from Volumetric Imagery, Thomas Wischgoll

Computing Center-Lines: An Application of Vector Field Topology, Thomas Wischgoll

PDF

Stereoscopic Display Technology for Visualizing Vascular Structures, Thomas Wischgoll

Link

Extraction of Morphometry and Branching Angles of Porcine Coronary Arterial Tree from CT Images, Thomas Wischgoll, Jenny Susana Choy, and Ghassan S. Kassab

PDF

Reconstruction of the Upper Torso Using X-Ray Imagery, Thomas Wischgoll and Christopher Koehler

Submissions from 2008

Gaussian Binning: A new Kernel-based Method for processing NMR Spectroscopic Data for Metabolomics, Paul E. Anderson, Nicholas V. Reo, Nicholas J. DelRaso, Travis E. Doom, and Michael L. Raymer

Link

Gaussian Binning for Processing NMR Spectroscopic Data for Metabolomics, Paul E. Anderson, Nicholas V. Reo, Nicholas J. DelRaso, and Michael L. Raymer

PDF

Connectionist Model Generation: A First-Order Approach, Sebastian Bader, Pascal Hitzler, and Steffen Holldobler

Spieltheorie, Alexander Chocholaty and Pascal Hitzler

Discovering New Trends in Web Robot Traffic through Functional Classification, Derek Doran and Swapna S. Gokhale

PDF

Defeasible Inference with Circumscriptive OWL Ontologies, Stephan Grimm and Pascal Hitzler

PDF

Reasoning in Circumscriptive ALCO, Stephan Grimm and Pascal Hitzler

PDF

BotMiner: Clustering Analysis of Network Traffic for Protocol- and Structure-Independent Botnet Detection, Guofei Gu, Roberto Perdisci, Junjie Zhang, and Wenke Lee

PDF

BotSniffer: Detecting Botnet Command and Control Channels in Network Traffic, Guofei Gu, Junjie Zhang, and Wenke Lee

Semantic Web: Grundlagen, Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph, and York Sure

PDF

Approximate OWL Instance Retrieval with Screech, Pascal Hitzler, Markus Krotzsch, Sebastian Rudolph, and Tuvshintur Tserendorj

Link

The WSU Model for Engineering Mathematics Education: A Multiyear Assessment and Expansion to Collaborating Institutions, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, Richard Mercer, Anant Kukreti, and Brian Randolph

PDF

A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases, Matthias Knorr, Jose Julio Alferes, and Pascal Hitzler

PDF

Description Logic Rules, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler

Link

ELP: Tractable Rules for OWL 2, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler

Link

ELP: Tractable Rules for OWL 2, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler

PDF

Expressive Tractable Description Logics based on SROIQ Rules, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler

Link

Paraconsistent Reasoning for Expressive and Tractable Description Logics, Yue Ma, Pascal Hitzler, and Zuoquan Li

PDF

A Forgetting-Based Approach for Reasoning with Inconsistent Distributed Ontologies, Guilin Qi, Yimin Wang, Peter Haase, and Pascal Hitzler

Do Amino Acid Biosynthetic Costs Constrain Protein Evolution in Saccharomyces cerevisiae?, Douglas W. Raiford, Esley M. Heizer, Robert V. Miller, Hiroshi Akashi, Michael L. Raymer, and Dan E. Krane

Validation of the Human Alu Phylogeny: A Whole-Genome Analysis, Sridhar Ramachandran and Travis E. Doom

Link

A Time and Dose Response Metabonomics Study of D-Serine Toxicity in Rats, Nicholas V. Reo, Andy E. Neuforth, William P. Couch, Michael L. Raymer, Paul E. Anderson, Deirdre A. Mahle, and Nicholas J. DelRaso

PDF

All Elephants are Bigger than All Mice, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler

PDF

Cheap Boolean Role Constructors for Description Logics, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler

Link

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler

Link

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler

PDF

What is Approximate Reasoning?, Sebastian Rudolph, Tuvshintur Tserendorj, and Pascal Hitzler

PDF

Ontology Driven Semantic Provenance for Heterogeneous Bionomics Experimental Data, Satya S. Sahoo, Michael L. Raymer, Cory Andrew Henson, Amit P. Sheth, and William S. York

PDF

The State of the Art in Flow Visualization: Partition-Based Techniques, Tobias Salzbrunn, Heike Janicke, Thomas Wischgoll, and Gerik Scheuermann

Imprecision and Structure in Modelling Subjective Similarity, Thomas Sudkamp

Link

Refinement of Temporal Constraints in Fuzzy Associations, Thomas Sudkamp

Sporadic Fuzzy Temporal Associations, Thomas Sudkamp

PDF

Approximate OWL-Reasoning with Screech, Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler

PDF

Learning Expressive Ontologies, Johanna Volker, Peter Haase, and Pascal Hitzler

A Low-Cost, Linux-Based Virtual Environment for Visualizing Vascular Structures, Thomas Wischgoll

Validation of Image-Based Method for Extraction of Coronary Morphometry, Thomas Wischgoll, Jenny Susana Choy, Erik L. Ritman, and Ghassan S. Kassab

Submissions from 2007

Link

A Fully Connectionist Model Generator for Covered First-Order Logic Programs, Sebastian Bader, Pascal Hitzler, Steffen Holldobler, and Andreas Witzel

The Core Method: Connectionist Model Generation for First-Order Logic Programs, Sebastian Bader, Pascal Hitzler, Steffen Holldobler, and Andreas Witzel

Link

Decidability Under the Well-Founded Semantics, Natalia Cherchago, Pascal Hitzler, and Steffen Holldobler

Run-Specific Limits of Detection and Quantitation for STR-based DNA Testing, Jason R. Gilder, Travis E. Doom, Keith Inman, and Dan E. Krane

Knowledge Representation and Ontologies, Stephan Grimm and Pascal Hitzler

PDF

Semantic Matchmaking of Web Resources with Local Closed-World Reasoning, Stephan Grimm and Pascal Hitzler

Perspectives of Neural-Symbolic Integration, Barbara Hammer and Pascal Hitzler

PDF

Report on Realizing Practical Approximate and Distributed Reasoning for Ontologies, Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandecic, and Holger Wache

PDF

Description Logic Programs: Normal Forms, Pascal Hitzler and Andreas Eberhart

Kursarbeit mit Schulern - die Intensivkurse Mathematik, Pascal Hitzler and Gudrun Kalmbach

Link

Flow Patterns in Three-Dimensional Porcine Epicardial Coronary Arterial Tree, Yunlong Huo, Thomas Wischgoll, and Ghassan S. Kassab

PDF

A Proposed Statistical Protocol for the Analysis of Metabolic Toxicological Data Derived from NMR Spectroscopy, Benjamin J. Kelly, Paul E. Anderson, Nicholas V. Reo, Nicholas J. DelRaso, Travis E. Doom, and Michael L. Raymer

Link

Comparison of Statistical Techniques for the Analysis of Metabolic Toxicological Data Derived from NMR Spectroscopy, Benjamin J. Kelly, Nicholas V. Reo, Nicholas J. DelRaso, Travis E. Doom, and Michael L. Raymer

Link

Engineering Mathematics Education at Wright State University: A Model for Increasing Student Success in Engineering, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, and Richard Mercer

PDF

Engineering Mathematics Education at Wright State University: Uncorking the First Year Bottleneck, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, and Richard Mercer

Link

A National Model for Engineering Mathematics Education, Nathan W. Klingbeil, Kuldip S. Rattan, Michael L. Raymer, David B. Reynolds, Richard Mercer, Anant Kukreti, and Brian Randolph

PDF

A Well-Founded Semantics for Hybrid MKNF Knowledge Bases, Matthias Knorr, Jose Julio Alferes, and Pascal Hitzler

PDF

Towards Tractable Local Closed World Reasoning for the Semantic Web, Matthias Knorr, Jose Julio Alferes, and Pascal Hitzler

PDF

Comparing Disjunctive Well-founded Semantics, Matthias Knorr and Pascal Hitzler

PDF

Assessing the Implications for Close Relatives in the Event of Similar but Non-Matching DNA Profiles, Dan E. Krane

PDF

Empirical Analysis of the STR Profiles Resulting from Conceptual Mixtures, Dan E. Krane

PDF

Essential Elements of a Defense-Review of DNA Testing Results, Dan E. Krane

PDF

Run-Specific Limits of Quantitation and Detection (An Alternative to Minimum Peak Height Thresholds), Dan E. Krane

PDF

Evaluating Forensic DNA Evidence - A Day-Long Workshop, Dan E. Krane and William C. Thompson

Link

Complexity Boundaries for Horn Description Logics, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler

Link

Complexity of Horn Description Logics, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler

PDF

Conjunctive Queries for a Tractable Fragment of OWL 1.1, Markus Krotzsch, Sebastian Rudolph, and Pascal Hitzler

PDF

A Refinement Operator Based Learning Algorithm for the ALC Description Logic, Jens Lehmann and Pascal Hitzler

PDF

Foundations of Refinement Operators for Description Logics, Jens Lehmann and Pascal Hitzler

PDF

Any-World Access to OWL from Prolog, Tobias Matzner and Pascal Hitzler

PDF

Algorithms for Paraconsistent Reasoning with OWL, Yue Ma, Pascal Hitzler, and Zuoquan Lin

PDF

Paraconsistent Resolution for Four-Valued Description Logics, Yue Ma, Pascal Hitzler, and Zuoquan Li

Link

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, and Zuoquan Lin

PDF

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, and Zuoquan Lin

PDF

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics, Yue Ma, Guilin Qi, Pascal Hitzler, and Zuoquan Li

Usability of Multiple Degree-of-Freedom Input Devices and Virtual Reality Displays for Interactive Visual Data Analysis, Elke Moritz, Hans Hagen, Thomas Wischgoll, and Joerg Meyer

PDF

DOLCE ergo SUMO: On Foundational and Domain Models in SWIntO (Smart Web Integrated Ontology), Daniel Oberle, Anupriya Ankolekar, Pascal Hitzler, Philipp Cimiano, Michael Sintek, Malte Kiesel, Babak Mougouie, Stephan Baumann, Shankar Vembu, Massimo Romanelli, Paul Buitelaar, Ralf Engel, Daniel Sonntag, Norbert Reithinger, Berenike Loos, Hans-Peter Zorn, Vanessa Micelli, Robert Porzel, Christian Schmidt, Moritz Weiten, Felix Burkhardt, and Jianshen Zhou

PDF

A Multi-Objective Genetic Algorithm that Employs a Hybrid Approach for Isolating Codon Usage Bias Indicative of Translational Efficiency, Douglas W. Raiford, Dan E. Krane, Travis E. Doom, and Michael L. Raymer