Ulrike Sattler
- Lactate: A Metabolic Key Player in Cancer
2011/11/13 by Franziska Hirschhaeuser, Ulrike Sattler, Ulrike G.A. Sattler +2 · 28 citations
Biochemistry, Genetics and Molecular Biology · #Cancer, Hypoxia, and Metabolism #Mitochondrial Function and Pathology #Metabolomics and Mass Spectrometry Studies
- Reasoning with Individuals for the Description Logic SHIQ
2000/05/11 by Ian Horrock, Horrock, Ian, Ulrike Sattler +3 · 4 citations
Computer Science · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.LO
- Practical Reasoning for Very Expressive Description Logics
2000/05/09 by Ian Horrocks, Ulrike Sattler, Stephan Tobies · 1 citation
Computer Science · #cs.LO #cs.AI
- Practical Reasoning for Expressive Description Logics
2000/05/10 by Ian Horrocks, Ulrike Sattler, Horrocks, Ian +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.LO
- An Overview of Tableau Algorithms for Description Logics
2001/10/01 by Franz Baader, Ulrike Sattler · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services