Follow

Submissions from 2007

PDF

CSI Revisited: The Science of Forensic DNA Analysis, Michael L. Raymer

PDF

Quo Vadis, CS? – On the (Non)-Impact of Conceptual Structures on the Semantic Web, Sebastian Rudolph, Markus Krotzsch, and Pascal Hitzler

PDF

Efficient OWL Reasoning with Logic Programs - Evaluations, Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler, Michael Sintek, and Denny Vrandecic

PDF

Supporting Lexical Ontology Learning by Relational Exploration, Sebastian Rudolph, Johanna Volker, and Pascal Hitzler

Learning Fuzzy Rules with their Implication Operators, Mathieu Serrurier, Didier Dubois, Henri Prade, and Thomas Sudkamp

PDF

Acquisition of OWL DL Axioms from Lexical Resources, Johanna Volker, Pascal Hitzler, and Philipp Cimiano

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

PDF

Modeling and Simulation of Cardiovascular Systems, Thomas Wischgoll

PDF

Visualizing Morphometric Data of Vasculatures, Thomas Wischgoll

A Novel Method for Visualization of Entire Coronary Arterial Tree, Thomas Wischgoll, Joerg Meyer, Benjamin Kaimovitz, Yoram Lanir, and Ghassan S. Kassab

Submissions from 2006

PDF

Visual Ontology Modeling for Electronic Markets, Saartje Brockmans, Andreas Geyer-Schulz, Pascal Hitzler, and Rudi Studer

PDF

A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies, Saartje Brockmans, Peter Haase, Pascal Hitzler, and Rudi Studer

Link

Lifecycle Support for Networked Ontologies, Peter Haase, Pascal Hitzler, Sebastian Rudolph, Guilin Qi, Marko Grobelnik, Igor Mozetic, Damjan Bojadzlev, Jerome Euzenat, Mathieu d'Aquin, and Aldo Gangemi

Link

Amino Acid Cost and Codon-Usage Biases in 6 Prokaryotic Genomes: A Whole-Genome Analysis, Esley M. Heizer, Douglas W. Raiford, Michael L. Raymer, Travis E. Doom, Robert V. Miller, and Dan E. Krane

PDF

Integrated View and Comparison of Alignment Semantics, Pascal Hitzler, Jerome Euzenat, Markus Krotzsch, Luciano Serafini, Heiner Stuckenschmidt, Holger Wache, and Antoine Zimmermann

PDF

Querying Formal Contexts with Answer Set Programs, Pascal Hitzler and Markus Krotzsch

Link

A Categorical View on Algebraic Lattices in Formal Concept Analysis, Pascal Hitzler, Markus Krotzsch, and Guo-Qiang Zhang

PDF

Wissensmanagement Profitiert von Semantiktechnologien, Pascal Hitzler and Rudi Studer

Link

Redefining Engineering Mathematics Education at Wright State University, Nathan W. Klingbeil, Richard Mercer, Kuldip S. Rattan, Michael L. Raymer, and David B. Reynolds

PDF

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

PDF

How to Reason with OWL in a Logic Programming System, Markus Krotzsch, Pascal Hitzler, Denny Vrandecic, and Michael Sintek

PDF

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

Earthquake Visualization Using Large-scale Ground Motion and Structural Response Simulations, Joerg Meyer and Thomas Wischgoll

Earthquake Visualization Using Large-Scale Ground Motion and Structural Response Simulations, Joerg Meyer and Thomas Wischgoll

Assessing the Implications for Close Relatives in the Event of Similar but Nonmatching DNA Profiles, David R. Paoletti, Travis E. Doom, Michael L. Raymer, and Dan E. Krane

PDF

An Investigation of Codon Usage Bias Including Visualization and Quantification in Organisms Exhibiting Multiple Biases, Douglas W. Raiford, Travis E. Doom, Dan E. Krane, and Michael L. Raymer

Isolation and Visualization of Codon Usage Biases, Douglas W. Raiford, Dan E. Krane, Travis E. Doom, and Michael L. Raymer

PDF

Analysis of Large Scale Image Data using Out-of-Core Techniques, Chandrashekara H. Raju and Thomas Wischgoll

Parsimony Approach to Test the Evolving Master Gene Hypothesis for Human Alu Repeats, Sridhar Ramachandran, Travis E. Doom, Michael L. Raymer, and Dan E. Krane

Link

Was the Shawnee War Chief Blue Jacket a Caucasian?, Carolyn Rowland, R. V. Van Trees, Marc S. Taylor, Michael L. Raymer, and Dan E. Krane

Conceptual Structures: Inspiration and Application, Henrik Scharfe, Pascal Hitzler, and Peter Ohrstrom

PDF

A Semantic Future for AI, Rudi Studer, Anupriya Ankolekar, and Pascal Hitzler

Languages and Machines: An Introduction to the Theory of Computer Science, Thomas Sudkamp

Link

Linguistic Refinement of Temporal Rules, Thomas Sudkamp

PDF

Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation, Julien Tane, Philipp Cimiano, and Pascal Hitzler

Quantitative Analysis of CT-Scanned Images of Coronary Vasculatures of Porcine Hearts, Thomas Wischgoll

Locating Closed Hyperstreamlines in Second Order Tensor Fields, Thomas Wischgoll and Joerg Meyer

Topological Features in Vector Fields, Thomas Wischgoll and Joerg Meyer

PDF

Formalizing Ontology Alignment and its Operations with Category Theory, Antoine Zimmermann, Markus Krotzsch, Jerome Euzenat, and Pascal Hitzler

Submissions from 2005

PDF

Modeling Fuzzy Rules with Description Logics, Sudhir Agarwal and Pascal Hitzler

Link

Stochastic Model of Protease-Ligand Reactions, Paul E. Anderson, Douglas W. Raiford, Deacon Sweeney, Travis E. Doom, and Michael L. Raymer

PDF

Bridging the Paradigm Gap with Rules for OWL, Jurgen Angele, Boris Motik, Rudi Studer, and Pascal Hitzler

PDF

Integrating Semantic Web Services for Mobile Access, Anupriya Ankolekar, Pascal Hitzler, Holger Lewen, Daniel Oberle, and Rudi Studer

Link

Computing First-Order Logic Programs by Fibring Artificial Neural Networks, Sebastian Bader, Artur Garcez, and Pascal Hitzler

Dimensions of Neural-Symbolic Integration - A Structured Survey, Sebastian Bader and Pascal Hitzler

PDF

Integrating First-Order Logic Programs and Connectionist Systems - A Constructive Approach, Sebastian Bader, Andreas Witzel, and Pascal Hitzler

Link

The Well Supported Semantics for Multidimensional Dynamic Logic Programs, F. Banti, Jose Julio Alferes, A. Brogi, and Pascal Hitzler

Link

Computational Intelligence in Data Mining, Fernando Berzal, Juan Carlos Cubero, Zbigniew W. Ras, Thomas Sudkamp, and Ronald Yager

PDF

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, and Sergio Tessaris

On the Representation, Measurement, and Discovery of Fuzzy Associations, Didier Dubois, Henri Prade, and Thomas Sudkamp

Automatisiertes Schließen mit formalen Begriffen: Implementierung, Karl Fritsche and Pascal Hitzler

PDF

Methods for Approximate Reasoning, Perry Groot, Pascal Hitzler, Ian Horrocks, Boris Motik, Jeff Z. Pan, Heiner Stuckenschmidt, Daniele Turi, and Holger Wache

PDF

DLP Isn't So Bad After All, Peter Haase, Markus Krotzsch, York Sure, Rudi Studer, and Pascal Hitzler

Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen, Pascal Hitzler

PDF

Towards a Systematic Account of Different Semantics for Logic Programs, Pascal Hitzler

PDF

Ontology Learning as a Use-Case for Neural-Symbolic Integration, Pascal Hitzler, Sebastian Bader, and Artur Garcez

What is Ontology Merging? - A Category-Theoretical Perspective using Pushouts, Pascal Hitzler, Markus Krotzsch, Marc Ehrig, and York Sure

Link

Towards a Unified Theory of Logic Programming Semantics: Level Mapping Characterizations of Selector Generated Models, Pascal Hitzler and Sibylle Schwarz

Resolution-Based Approximate Reasoning for OWL DL, Pascal Hitzler and Denny Vrandecic

PDF

The SCREECH OWL Reasoner - Scalable Approximate ABox Reasoning with OWL, Pascal Hitzler and Denny Vrandecic

PDF

A Uniform Approach to Logic Programming Semantics, Pascal Hitzler and Matthias Wendt

Link

The WSU Model for Engineering Mathematics Education, Nathan W. Klingbeil, Richard Mercer, Kuldip S. Rattan, Michael L. Raymer, and David B. Reynolds

PDF

Work in Progress: The WSU Model for Engineering Mathematics Education, Nathan W. Klingbeil, Richard Mercer, Kuldip S. Rattan, Michael L. Raymer, and David B. Reynolds

PDF

Evaluating Forensic DNA Evidence, Dan E. Krane and William C. Thompson

Link

Category Theory in Ontology Research: Concrete Gain from an Abstract Approach, Markus Krotzsch, Pascal Hitzler, Marc Ehrig, and York Sure

PDF

Morphisms in Context, Markus Krotzsch, Guo-Qiang Zhang, and Pascal Hitzler

PDF

Extracting Reduced Logic Programs from Artificial Neural Networks, Jens Lehmann, Sebastian Bader, and Pascal Hitzler

PDF

Integrated Visualization and Analysis of a Pig's Cardiovascular System, Joerg Meyer, Thomas Wischgoll, and Elke Moritz

Comparison of Input Devices and Displays for Protein Visualization, Elke Moritz, Thomas Wischgoll, and Joerg Meyer

PDF

DLPconvert: Converting OWL DLP Statements to Logic Programs, Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, and Rudi Studer

Empirical Analysis of the STR Profiles Resulting from Conceptual Mixtures, David R. Paoletti, Travis E. Doom, Carissa M. Crane, Michael L. Raymer, and Dan E. Krane

PDF

GA-Facilitated Classifier Optimization with Varying Similarity Measures, Michael R. Peterson, Travis E. Doom, and Michael L. Raymer

PDF

GA-Facilitated KNN Classifier Optimization with Varying Similarity Measures, Michael R. Peterson, Travis E. Doom, and Michael L. Raymer

Link

Balanced Accuracy for Feature Subset Selection with Genetic Algorithms, Michael R. Peterson, Michael L. Raymer, and Gary B. Lamont

Book Review: Evolutionary Computation in Bioinformatics, Michael L. Raymer

PDF

Level Mapping Characterizations of Selector-Generated Models for Logic Programs, Sibylle Schwarz and Pascal Hitzler

Link

Fuzzy Inductive Logic Programming: Learning Fuzzy Rules with their Implication, M. Serruier, Thomas Sudkamp, D. Dubois, and H. Prade

PDF

Description Logic Programs: A Practical Choice For the Modelling of Ontologies, Rudi Studer, York Sure, and Pascal Hitzler

Discovery of Fuzzy Temporal Associations in Multiple Data Streams, Thomas Sudkamp

Examples, Counterexamples, and measuring Fuzzy Associations, Thomas Sudkamp

Link

Sporadic Fuzzy Temporal Associations, Thomas Sudkamp

PDF

The Semantic Web in One Day, York Sure, Pascal Hitzler, Andreas Eberhart, and Rudi Studer

PDF

Faster OWL using Split Programs, Denny Vrandecic and Pascal Hitzler

PDF

DLP - An Introduction, Denny Vrandecic, Pascal Hitzler, and Rudi Studer

PDF

Fly Through a Pig's Heart, Thomas Wischgoll

Link

Topological Methods in Visualization, Thomas Wischgoll

PDF

An Explorational Exhibit of a Pig's Heart, Thomas Wischgoll and Joerg Meyer

PDF

Fly Through a Pig's Heart: An Educational Computer Game, Thomas Wischgoll and Joerg Meyer

PDF

The Interior of a Pig's Heart: A Museum Exhibit, Thomas Wischgoll and Joerg Meyer

Link

The Interior of a Pig's Vasculature: A Museum Exhibit, Thomas Wischgoll and Joerg Meyer

PDF

Visualizing Very Large-Scale Vascular Structures Interactively, Thomas Wischgoll, Joerg Meyer, Benjamin Kaimovitz, Yoram Lanir, and Ghassan S. Kassab

Link

A Quantitative Analysis Tool for Cardiovascular Systems, Thomas Wischgoll, Elke Moritz, and Joerg Meyer

Link

Navigational Aspects of an Interactive 3D Exploration System for Cardiovascular Structures, Thomas Wischgoll, Elke Moritz, and Joerg Meyer

Submissions from 2004

PDF

Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks, Sebastian Bader and Pascal Hitzler

PDF

The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence, Sebastian Bader, Steffen Holldobler, and Pascal Hitzler

PDF

Indexing Genomic Databases, Gina Cooper, Michael L. Raymer, Travis E. Doom, Dan E. Krane, and Natsuhiko Futamura

Bioinformatics, Travis E. Doom, Michael L. Raymer, and Dan E. Krane

Bioinformatics: Where Biology meets Computer Science, Travis E. Doom, Michael L. Raymer, and Dan E. Krane

Systematic Differences in Electropherogram Peak Heights Reported by Different Versions of the GeneScan Software, Jason R. Gilder, Simon Ford, Travis E. Doom, Michael L. Raymer, and Dan E. Krane

Link

A Generalized Resolution Theorem, Pascal Hitzler