Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Toward High-Precision Service Retrieval
IEEE Internet Computing
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Querying ontologies: a controlled english interface for end-users
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Applications of answer set programming in phylogenetic systematics
Logic programming, knowledge representation, and nonmonotonic reasoning
Hi-index | 0.00 |
We introduce a controlled natural language for biomedical queries, called BioQueryCNL, and present an algorithm to convert a biomedical query in this language into a program in answer set programming (ASP)---a formal framework to automate reasoning about knowledge. BioQueryCNL allows users to express complex queries (possibly containing nested relative clauses and cardinality constraints) over biomedical ontologies; and such a transformation of BioQueryCNL queries into ASP programs is useful for automating reasoning about biomedical ontologies by means of ASP solvers. We precisely describe the grammar of BioQueryCNL, implement our transformation algorithm, and illustrate its applicability to biomedical queries by some examples.