These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
7. LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset). Benzmüller C; Farjami A; Fuenmayor D; Meder P; Parent X; Steen A; van der Torre L; Zahoransky V Data Brief; 2020 Dec; 33():106409. PubMed ID: 33134442 [TBL] [Abstract][Full Text] [Related]
8. Perceptual simulations can be as expressive as first-order logic. Uchida H; Cassimatis NL; Scally JR Cogn Process; 2012 Nov; 13(4):361-9. PubMed ID: 22661395 [TBL] [Abstract][Full Text] [Related]
9. Building a bioinformatics ontology using OIL. Stevens R; Goble C; Horrocks I; Bechhofer S IEEE Trans Inf Technol Biomed; 2002 Jun; 6(2):135-41. PubMed ID: 12075668 [TBL] [Abstract][Full Text] [Related]
10. Reasoning with bio-ontologies: using relational closure rules to enable practical querying. Blondé W; Mironov V; Venkatesan A; Antezana E; De Baets B; Kuiper M Bioinformatics; 2011 Jun; 27(11):1562-8. PubMed ID: 21471019 [TBL] [Abstract][Full Text] [Related]
11. Auditing description-logic-based medical terminological systems by detecting equivalent concept definitions. Cornet R; Abu-Hanna A Int J Med Inform; 2008 May; 77(5):336-45. PubMed ID: 17693132 [TBL] [Abstract][Full Text] [Related]
12. Foundations of reasoning with uncertainty via real-valued logics. Fagin R; Riegel R; Gray A Proc Natl Acad Sci U S A; 2024 May; 121(21):e2309905121. PubMed ID: 38753505 [TBL] [Abstract][Full Text] [Related]
13. Minimally inconsistent reasoning in Semantic Web. Zhang X PLoS One; 2017; 12(7):e0181056. PubMed ID: 28750030 [TBL] [Abstract][Full Text] [Related]
15. Using AberOWL for fast and scalable reasoning over BioPortal ontologies. Slater L; Gkoutos GV; Schofield PN; Hoehndorf R J Biomed Semantics; 2016 Aug; 7(1):49. PubMed ID: 27502585 [TBL] [Abstract][Full Text] [Related]
16. The Pitfalls of Thesaurus Ontologization - the Case of the NCI Thesaurus. Schulz S; Schober D; Tudose I; Stenzhorn H AMIA Annu Symp Proc; 2010 Nov; 2010():727-31. PubMed ID: 21347074 [TBL] [Abstract][Full Text] [Related]
17. Optimizing the Most Specific Concept Method for Efficient Instance Checking. Xu J; Shironoshita P; Visser U; John N; Kabuka M Proc Int World Wide Web Conf; 2014; 2014():405-406. PubMed ID: 25844402 [TBL] [Abstract][Full Text] [Related]
18. A fuzzy-ontology-oriented case-based reasoning framework for semantic diabetes diagnosis. El-Sappagh S; Elmogy M; Riad AM Artif Intell Med; 2015 Nov; 65(3):179-208. PubMed ID: 26303105 [TBL] [Abstract][Full Text] [Related]