B. Motik
- Hypertableau Reasoning for Description Logics
2009/10/28 by Boris Motik, B. Motik, Rob Shearer +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #Biomedical Text Mining and Ontologies #Description logic #Formalism (music) #Knowledge base #Knowledge representation and reasoning #Logic, Reasoning, and Knowledge #Logical consequence #Non-monotonic logic #Pairwise comparison #Representation (politics) #Semantic Web and Ontologies #T-norm fuzzy logics #cs.AI #cs.LO