leechuck's profile
About me
| Username: |
leechuck |
| Name: |
Robert Hoehndorf |
| Job title: |
Student |
| Affiliation: |
Not specified |
| Web page: |
Not specified |
| Joined: |
2007-04-13 |
Recent Activity
- 13:01: posted Atlas of Human Anatomy
- 12:58: posted Teleologisches Denken
- 12:31: posted On the Plurality of Worlds
- 12:27: posted GeneticsWhat is a gene?
- 12:23: posted Embryonic stem cells in drug discovery
- 12:21: posted Functional Genomics: It's All How You Read It
- 12:08: posted FUNC: a package for detecting significant associations between gene sets and ontological annotations
- 10:32: posted The Rat Genome Database, update 2007--easing the path from disease to data and back again.
- 10:23: posted Ontology Matching
- 10:13: posted The Ontological Level
- 10:13: posted Philosophische Untersuchungen zu Raum, Zeit und Kontinuum
- 10:13: posted Semantic Foundations of Medical Information Systems Based on Top-Level Ontologies
- 10:13: posted The Construction of Social Reality
- 10:13: posted Functions
- 10:13: posted Language, Thought, and Other Biological Categories: New Foundations for Realism
- 10:13: posted Information Flow : The Logic of Distributed Systems
- 10:13: posted On semantic interoperability and the flow of information
- 10:13: posted From Conceptual Structures to Semantic Interoperability of Content
- 10:13: posted The Levels of Conceptual Interoperability Model (LCIM)
- 10:13: posted IEEE Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries
- 10:13: posted Towards a top-domain ontology for linking biomedical ontologies.
- 10:13: posted Granularity, scale and collectivity: When size does and does not matter
- 10:13: posted Clinical Methods: The History, Physical and Laboratory Examinations
- 10:13: posted The Construction of Social Reality
- 10:13: posted Wright on Functions
- 10:13: posted Functions: Consensus without Unity
- 10:13: posted Language, Thought and Other Biological Categories: New Foundations for Realism
- 10:13: posted Functions
- 10:13: posted Expansion of the BioCyc collection of pathway/genome databases to 160 genomes
- 10:13: posted What is a disease? Disease, disability and their definitions
- 10:13: posted Existential Dependence and Cognate Notions
- 10:13: posted Goals for concept representation in the GALEN project.
- 10:13: posted CYC: a large-scale investment in knowledge infrastructure
- 10:13: posted Cyc: toward programs with common sense
- 10:13: posted {GENIA} corpus - a semantically annotated corpus for bio-textmining
- 10:13: posted The Mammalian Phenotype Ontology as a tool for annotating, analyzing and comparing phenotypic information
- 10:13: posted {MEPD: a resource for medaka gene expression patterns}
- 10:13: posted Proceedings of the International Workshop on Ontology Matching
- 10:13: posted {P}roceedings of the {I}nternational {W}orkshop on {O}ntology {M}atching ({OM}-2006), {A}thens, {G}eorgia, {USA}, {N}ov 5
- 10:13: added a note to {P}roceedings of the {I}nternational {W}orkshop on {O}ntology {M}atching ({OM}-2006), {A}thens, {G}eorgia, {USA}, {N}ov 5
- 10:13: posted An Ontology for Annotation of Signal Transduction Pathway Molecules in the Scientific Literature: Molecule Role Ontology
- 10:13: posted The molecule role ontology: an ontology for annotation of signal transduction pathway molecules in the scientific literature
- 10:13: posted Database resources of the {N}ational {C}enter for {B}iotechnology {I}nformation
- 10:13: posted Database resources of the National Center for Biotechnology Information
- 10:13: added a note to Principles of Biological Autonomy
- 10:13: posted Towards principled core ontologies
- 10:13: posted Four different types of classification models
- 10:13: posted Relations in biomedical ontologies
- 10:13: posted A Reference Ontology for Biomedical Informatics: the {F}oundational {M}odel of {A}natomy
- 10:13: added a note to A Reference Ontology for Biomedical Informatics: the {F}oundational {M}odel of {A}natomy
- 10:13: posted Ontology -- The Categorical Stance
- 10:13: posted Ontology {--} {T}he Categorical Stance
- 10:13: posted {NEWT}, a new taxonomy portal
- 10:13: posted {NEWT}, a new taxonomy portal
- 10:13: posted Self-replicating micelles -- A chemical version of a minimal autopoietic system
- 10:13: posted A proposal for a gene functions wiki
- 10:13: posted A proposal for a gene functions wiki
- 10:13: added a note to A proposal for a gene functions wiki
- 10:13: posted Ontological Categories in {GOL}
- 10:13: added a note to Ontological Categories in {GOL}
- 10:13: posted BFO in a Nutshell: A Bi-categorial Axiomatization of {BFO} and Comparison with {DOLCE}
- 10:13: posted Levels of reality and levels of representation
- 10:13: posted Suggested Ontology for Pharmacogenomics ({SO-P}harm): Modular Construction and Preliminary Testing
- 10:13: posted A top-level ontology of functions and its application in the {O}pen {B}iomedical {O}ntologies
- 10:13: added a note to A top-level ontology of functions and its application in the {O}pen {B}iomedical {O}ntologies
- 10:13: posted An ontology for cell types
- 10:13: posted Gene ontology: tool for the unification of biology
- 10:13: posted Neue {W}ege der {O}ntologie
- 10:13: posted Ontological Categories in {GOL}
- 10:13: added a note to Ontological Categories in {GOL}
- 10:13: posted Recent work in epistemic logic
- 10:13: posted A deduction model of belief
- 10:13: posted Resource-Bounded Reasoning about Knowledge
- 10:13: posted Zur Theorie des negativen Urteils
- 10:13: posted Semantical considerations on nonmonotonic logic
- 10:13: posted An overview of ontoclean
- 10:13: posted A Strategy for Improving and Integrating Biomedical Ontologies
- 10:13: posted On closed world data bases
- 10:13: posted A database needs two kinds of negation
- 10:13: posted Beyond Concepts: Ontology as Reality Representation
- 10:13: posted {MSPASS}: Modal Reasoning by Translation and First-Order Resolution
- 10:13: posted Steps towards Formalizing Context
- 10:13: posted Situations and Attitudes
- 10:13: posted The Situation in Logic
- 10:13: posted Situoid Theory -- An ontological approach to Situation Theory
- 10:13: posted The complexity of path-based defeasible inheritance
- 10:13: posted Mixing strict and defeasible inheritance
- 10:13: posted Icd-10: International Statistical Classification of Diseases and Related Health Problems : Alphabetical Index: 3
- 10:13: posted A Machine-Oriented Logic Based on the Resolution Principle
- 10:13: posted Nonmonotonic Description Logic Programs: Implementation and Experiments
- 10:13: posted Towards a nonmonotonic extension to {OWL}
- 10:13: posted A top-level ontology of functions and its application in the {O}pen {B}iomedical {O}ntologies
- 10:13: posted Ontology of Functions
- 10:13: added a note to Ontology of Functions
- 10:13: posted OBO Relationship Ontology Mailinglist
- 10:13: posted Framework for a protein ontology
- 10:13: posted A Formal Ontology of Properties
- 10:13: posted In defense of the Desiderata
- 10:11: posted The Mammalian Phenotype Ontology
- 10:11: added a note to The Mammalian Phenotype Ontology
- 10:11: posted Project Nonmonotonic Reasoning
- 10:11: posted OWL Web Ontology Language -- Semantics and Abstract Syntax
- 10:11: posted The {OBO} to {OWL} mapping, {GO} to {OWL} 1.1{!}
- 10:11: posted The OBO to OWL mapping, GO to OWL 1.1!
- 10:11: posted {OBO}-{E}dit {--} An Ontology Editor for Biologists
- 10:11: added a note to {OBO}-{E}dit {--} An Ontology Editor for Biologists
- 10:11: posted OBO-Edit - An Ontology Editor for Biologists.
- 10:11: posted PATO -- Phenotypic Quality Ontology
- 10:11: posted OBO Foundry Principles
- 10:11: posted Open Biomedical Ontologies (OBO) Foundry
- 10:11: posted Building Mouse Phenotype Ontologies
- 10:11: posted Building mouse phenotype ontologies.
- 10:11: posted Plant Ontology (PO)
- 10:11: posted Disease Ontology
- 10:11: posted GFO-Bio: A biomedical core ontology
- 10:11: posted Principles of Mathematical Logic
- 10:11: posted The role of foundational relations in the alignment of biomedical ontologies.
- 10:11: posted Ontology-based integration of information --- a survey of existing approaches
- 10:11: posted Implementing OWL Defaults
- 10:11: posted Multidimensional Classification of Concepts and Terms
- 10:11: posted A proposal for a gene functions wiki
- 10:11: posted A proposal for a gene functions wiki
- 10:11: added a note to A proposal for a gene functions wiki
- 10:11: posted Racer: A Core Inference Engine for the {S}emantic {W}eb
- 10:11: added a note to Racer: A Core Inference Engine for the {S}emantic {W}eb
- 10:11: posted Racer: A Core Inference Engine for the Semantic Web
- 10:11: posted The {S}equence {O}ntology: a tool for the unification of genome annotations
- 10:11: posted The Sequence Ontology: A tool for the unification of genome annotations
- 10:11: posted The {DLV} System for Knowledge Representation and Reasoning
- 10:11: posted The DLV System for Knowledge Representation and Reasoning
- 10:11: added a note to The DLV System for Knowledge Representation and Reasoning
- 10:11: posted Handbook of Logic in Artificial Intelligence and Logic Programming (Vol 3): Nonmonotonic Reasoning and Uncertain Reasoning
- 10:11: posted Handbook of Logic in Artificial Intelligence and Logic Programming (Vol 3): Nonmonotonic Reasoning and Uncertain Reasoning
- 10:11: posted On the relation between default and autoepistemic logic
- 10:11: posted On the relation between default and autoepistemic logic
- 10:11: posted Circumscription---A Form of Non-Monotonic Reasoning
- 10:11: posted Circumscription---A Form of Non-Monotonic Reasoning
- 10:11: posted Applications of Circumscription to Formalizing Common Sense Knowledge
- 10:11: posted Applications of Circumscription to Formalizing Common Sense Knowledge
- 10:11: posted SWRL: A Semantic Web Rule Language Combining OWL and RuleML
- 10:11: posted OWL Web Ontology Language Overview
- 10:11: posted Spatio-temporality in Basic Formal Ontology: SNAP and SPAN, Upper-Level Ontology, and Framework for Formalization
- 10:11: posted Spatio-temporality in Basic Formal Ontology: SNAP and SPAN, Upper-Level Ontology, and Framework for Formalization
- 10:11: posted {BFO} in a Nutshell: A Bi-categorial Axiomatization of {BFO} and Comparison with {DOLCE}
- 10:11: posted Toward principles for the design of ontologies used for knowledge sharing
- 10:11: posted {Towards Principles for the Design of Ontologies Used for Knowledge Sharing}
- 10:11: posted Knowledge Representation: Logical, Philosophical and Computational Foundations
- 10:11: added a note to Free Software, Free Society: Selected Essays of Richard M. Stallman
- 10:11: posted Free Software, Free Society: Selected Essays of Richard M. Stallman
- 10:11: posted The Cathedral and the Bazaar
- 10:11: posted The Cathedral and the Bazaar
- 10:11: posted Ontology mapping: the state of the art
- 10:11: posted Ontology mapping: the state of the art
- 10:11: posted Defaults, Context, and Knowledge: Alternatives for {OWL}-Indexed Knowledge Bases
- 10:11: posted Defaults, Context, and Knowledge: Alternatives for OWL-Indexed Knowledge Bases.
- 10:11: posted A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming
- 10:11: posted A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming
- 10:11: posted Answer set programming and plan generation
- 10:11: posted Answer set programming and plan generation
- 10:11: posted A Logic for Default Reasoning
- 10:11: posted A Logic for Default Reasoning
- 10:11: posted Referent Tracking: The Problem of Negative Findings
- 10:11: posted Referent Tracking: The Problem of Negative Findings
- 10:11: posted The Basic Problem of the Theory of Levels of Reality
- 10:11: added a note to The Basic Problem of the Theory of Levels of Reality
- 10:11: posted Levels of reality and levels of representation
- 10:11: posted Autopoiesis: A Theory of Living Organizations
- 10:11: posted Autopoiesis: A Theory of Living Organizations
- 10:11: posted Autopoiesis: the status of its system logic
- 10:11: posted Autopoiesis: the status of its system logic
- 10:11: posted Complexity versus Uncertainty: The Question of Staying Alive
- 10:11: posted Complexity versus Uncertainty: The Question of Staying Alive
- 10:11: added a note to Complexity versus Uncertainty: The Question of Staying Alive
- 10:11: posted Autopoiesis: The organization of living systems, its characterization and a model
- 10:11: posted Autopoiesis: The organization of living systems, its characterization and a model
- 10:11: posted Principles of Biological Autonomy
- 10:11: posted Principles of Biological Autonomy
- 10:11: added a note to Principles of Biological Autonomy
- 10:11: posted Autopoiesis and Cognition: The Realization of the Living
- 10:11: posted Autopoiesis and Cognition: The Realization of the Living
- 10:11: posted Origins of Sex: three billion years of genetic recombination
- 10:11: posted Origins of Sex: Three Billion Years of Genetic Recombination
- 10:11: posted Self-replicating micelles {--} {A} chemical version of a minimal autopoietic system
- 10:11: posted Self-replicating micelles -- A chemical version of a minimal autopoietic system
- 10:11: posted Towards principled core ontologies
- 10:11: posted {W}onder{W}eb {D}eliverable {D18}: Ontology Library (final)
- 10:11: posted {G}eneral {F}ormal {O}ntology ({GFO}) -- {A} Foundational Ontology Integrating Objects and Processes [{V}ersion 1.0]
- 10:11: posted Formal Ontology and Information Systems
- 10:11: posted Formal Ontology and Information Systems
- 10:11: posted Integrating Medical Terminologies with {ONIONS} Methodology
- 10:11: added a note to Integrating Medical Terminologies with {ONIONS} Methodology
- 10:11: posted Integrating Medical Terminologies with {ONIONS} Methodology
- 10:11: posted From Genia to Bio{T}op: Towards a Top-Level Ontology for Biology
- 10:11: posted From Genia to Bio{T}op: Towards a Top-Level Ontology for Biology
- 10:11: posted Against Fantology
- 10:11: posted The Mammalian Phenotype Ontology as a tool for annotating, analyzing and comparing phenotypic information
- 10:11: posted Pathbase: a new reference resource and database for laboratory mouse pathology
- 10:11: posted Pathbase: a new reference resource and database for laboratory mouse pathology
- 10:11: posted Suggested Ontology for Pharmacogenomics (SO-Pharm): Modular Construction and Preliminary Testing
- 10:11: posted Suggested Ontology for Pharmacogenomics (SO-Pharm): Modular Construction and Preliminary Testing
- 10:11: posted A Reference Ontology for Bioinformatics: The Foundational Model of Anatomy
- 10:11: added a note to A Reference Ontology for Bioinformatics: The Foundational Model of Anatomy
- 10:11: posted A Reference Ontology for Bioinformatics: The Foundational Model of Anatomy
- 10:11: posted Relations in biomedical ontologies.
- 10:11: posted Relations in biomedical ontologies.
- 10:11: posted Gene ontology: tool for the unification of biology. {T}he {G}ene {O}ntology {C}onsortium.
- 10:11: posted The {A}dult {M}ouse {A}natomical {D}ictionary: a tool for annotating and integrating data
- 10:11: posted The Adult Mouse Anatomical Dictionary: a tool for annotating and integrating data
- 10:11: posted Principles of ontology
- 10:11: added a note to Principles of ontology
- 10:07: posted An ontology for cell types
- 10:07: posted Fast Exact Inference with a Factored Model for Natural Language Parsing
- 10:07: posted An algorithm for suffix stripping
- 10:07: posted Free Software, Free Society: Selected Essays of Richard M. Stallman
- 10:07: posted {{G}o{P}ub{M}ed: exploring {P}ub{M}ed with the {G}ene {O}ntology}
- 10:07: posted Combining Evidence, Specificity, and Proximity towards the Normalization of Gene Ontology Terms in Text.
- 10:07: posted Automatic assignment of biomedical categories: toward a generic approach.
- 10:07: posted Finding genomic ontology terms in text using evidence content.
- 10:07: posted Overview of BioCreAtIvE: critical assessment of information extraction for biology.
- 10:04: posted Medium-Term Plan 2007--2009
- 10:04: posted The {U}nified {M}edical {L}anguage {S}ystem: an informatics research collaboration
- 10:04: posted {UMLS} Knowledge Sources
- 10:04: posted Closed World Reasoning in the {S}emantic {W}eb through Epistemic Operators
- 10:04: posted SemWiki2006 -- From Wiki to Semantics: Proceedings of the 1st Workshop on Semantic Wikis, Budva, Montenegro, Jun 12
- 10:04: posted {IkeWiki}: A User-Friendly Semantic Wiki
- 10:04: posted Semantic Wikipedia
- 10:04: posted Description-Logic Knowledge Representation System Specification from the {KRSS} Group of the {ARPA} Knowledge Sharing Effort
- 10:04: posted {LAS}: Extending {R}acer by a Large {A}box Store
- 10:04: posted The {OWL} {I}nstance {S}tore: System Description
- 10:04: posted {RDF} Vocabulary Description Language 1.0: {RDF} {S}chema
- 10:04: posted Autoepistemic Description Logics
- 10:04: posted Logical Definitions
- 10:04: posted {OWL} {W}eb {O}ntology {L}anguage Overview
- 10:04: posted Reasoning with individuals in concept languages
- 10:04: added a note to Reasoning with individuals in concept languages
- 10:04: posted XML Schema Part 2: Datatypes Second Edition
- 10:04: posted Prolog Programming for Artificial Intelligence
- 10:04: added a note to Prolog Programming for Artificial Intelligence
- 10:04: posted OntoWiki {--} A Tool for Social, Semantic Collaboration
- 10:04: posted Powl -- A Web Based Platform for Collaborative Semantic Web Development
- 10:04: posted {RDF/XML} Syntax Specification (Revised)
- 10:04: posted Untitled
- 10:04: posted OmegaWiki
- 10:04: posted Guideline for Creating Medical Terms
- 10:04: posted The {O}nto-{B}uilder Handbook {V}ersion 1.1, {Part I}: The Construction of Medical Terms
- 10:04: posted Abstract {vs.\\ }social roles {--} {T}owards a general theoretical account of roles
- 10:04: posted The {OBO} {F}oundry: coordinated evolution of ontologies to support biomedical data integration
- 10:04: posted File Format Guide
- 10:04: posted OBO Foundry Ontologies
- 10:04: added a note to OBO Foundry Ontologies
- 10:04: posted Bayesian Semantics for the Semantic Web
- 10:04: posted {SWRL}: A {S}emantic {W}eb Rule Language Combining {OWL} and {RuleML}
- 10:04: added a note to {SWRL}: A {S}emantic {W}eb Rule Language Combining {OWL} and {RuleML}
- 10:04: posted {W}onder{W}eb {D}eliverable {D18}: Ontology Library (final)
- 10:04: posted {G}eneral {F}ormal {O}ntology ({GFO}) -- {A} Foundational Ontology Integrating Objects and Processes [{V}ersion 1.0]
- 10:04: posted Defining {N}-ary Relations on the {S}emantic {W}eb
- 10:04: posted Ajax: A New Approach to Web Applications
- 10:04: posted Igniting the OWL 1.1 Touch Paper: The OWL API
- 10:04: posted An epistemic operator for description logics
- 10:04: posted A logic for default reasoning
- 10:04: posted Representing default knowledge in biomedical ontologies: Application to the integration of anatomy and phenotype ontologies
- 10:04: posted {G}eneral {F}ormal {O}ntology ({GFO}) -- {A} Foundational Ontology Integrating Objects and Processes [{V}ersion 1.0]
- 10:04: added a note to {G}eneral {F}ormal {O}ntology ({GFO}) -- {A} Foundational Ontology Integrating Objects and Processes [{V}ersion 1.0]
- 10:04: posted The Description Logic Handbook: Theory, Implementation, and Applications
- 10:04: posted Towards principled core ontologies
- 10:04: posted The Wiki Way: Collaboration and Sharing on the Internet
- 10:04: posted A novel method for automatic functional annotation of proteins
- 10:04: posted Enrichment of {OBO} ontologies
- 10:04: posted DLP and FaCT
- 10:04: posted {FaCT++} Description Logic Reasoner: System Description
- 10:04: added a note to {FaCT++} Description Logic Reasoner: System Description
- 10:04: posted The {DIG} Description Logic Interface: {DIG}/1.1
- 10:04: posted Reusing Ontological Background Knowledge in Semantic Wikis
- 10:04: posted Pellet: A practical OWL-DL reasoner
- 10:04: posted Gene ontology: tool for the unification of biology. {T}he {G}ene {O}ntology {C}onsortium.
- 10:04: posted The {SWISS-PROT} protein knowledgebase and its supplement {TrEMBL} in 2003.
- 10:04: posted Untitled
- 10:04: posted Semantics and Complexity of SPARQL
- 10:04: posted Guide to GO Evidence Codes
- 10:04: added a note to Guide to GO Evidence Codes
- 10:04: posted Simple Bio Upper Ontology
- 10:04: posted Towards an Upper-Level Ontology for Molecular Biology
- 10:04: posted Representing default knowledge in biomedical ontologies: Application to the integration of anatomy and phenotype ontologies
- 10:04: posted {BOWikiServerProtocol}
- 10:04: posted Knowledge Interchange Format Version 3.0 Reference Manual
- 10:04: posted Pellet: An {OWL} {DL} Reasoner
- 10:04: posted Jena: Implementing the {S}emantic {W}eb Recommendations
- 10:04: posted A proposal for a gene functions wiki
- 10:04: posted Key biology databases go wiki
- 10:04: posted Gene-function wiki would let biologists pool worldwide resources
- 10:04: posted Semantic Wikipedia
- 10:04: posted A top-level ontology of functions and its application in the Open Biomedical Ontologies.