Tobies, Stephan
- Complexity Results and Practical Algorithms for Logics in Knowledge Representation
2001/06/13 by Stephan Tobies, Tobies, Stephan · 8 citations
Computer Science · #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Semantic Web and Ontologies #cs.AI #cs.LO
- Reasoning with Individuals for the Description Logic SHIQ
2000/05/11 by Ian Horrock, Ulrike Sattler, Horrock, Ian +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 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