Abstract
While computation of biological information takes center stage in today’s research, knowledge-based query processing in biological databases has not gained much attention. The complex relationship among biological entities, and the numerous possibilities make it extremely difficult for a user to query data repositories in traditional ways since the information users seek are often not stored directly as extents. Thus, to meaningfully query such repositories, users often write complex applications to compute the needed response based on universal knowledge, or user specific hypothesis. In this paper, we propose a new data model based on object-oriented deductive databases and ontological concepts to allow knowledge-based querying. We propose a new query language called ConLog (for Concept Logic) in the direction of the acclaimed F-Logic and show that ConLog is able to express biological information and support queries in intuitive and user specific ways.
Research supported in part by National Science Foundation grants CNS 0521454 and IIS 0612203.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bugliesi, M.: A declarative view of inheritance in logic programming. In: JICSLP, pp. 113–127 (1992)
Bugliesi, M., Jamil, H.: A logic for encapsulation in object oriented languages. In: Penjam, J. (ed.) PLILP 1994. LNCS, vol. 844, pp. 215–229. Springer, Heidelberg (1994)
Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Log. Program. 19/20, 443–502 (1994)
Bunge, M.: Treatise on Basic Philosophy. Ontology I: The Furniture of the World, vol. 3. D. Reidel Publishing Company, Inc., New York (1977)
Bunge, M.: Treatise on Basic Philosophy. Ontology II: A World of Systems, vol. 4. D. Reidel Publishing Company, Inc., New York (1979)
Dey, S., Hossain, S., Jamil, H.: A knowledge-based middleware to support cooperative response to natural language queries over structured scientific databases. Technical report, March 2010. Under review, ACM UIST (2010)
Elhai, J., Taton, A., Massar, J.P., Myers, J.K., Travers, M., Casey, J., Slupesky, M., Shrager, J.: Biobike: A web-based, programmable, integrated biological knowledge base. Nucleic Acids Research 37(Web-Server-Issue), 28–32 (2009)
Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition 5, 199–220 (1993)
Horrocks, I.: Scalable ontology-based information systems. In: EDBT, p. 2 (2010)
Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: Owl rules: A proposal and prototype implementation. J. Web Sem. 3(1), 23–40 (2005)
Hosain, S., Jamil, H.: Empowering OWL with overriding inheritance, conflict resolution and non-monotonic reasoning. In: AAAI Spring Symposium on Social Semantic Web: Where Web 2.0 meets Web 3.0 (2009)
Hosain, S., Jamil, H.: OWL that can choose to inherit and hide it too. In: IEEE International Conference on Semantic Computing, Berkeley, CA (September 2009)
Jamil, H.M.: A logic based language for parametric inheritance. In: Knowledge Representation, Breckenridge, CO, pp. 611–622 (April 2000)
Jamil, H.M., Lakshmanan, L.: A declarative semantics for behavioral inheritance and conflict resolution. In: ILPS (1995)
Kashyap, V., Borgida, A.: Representing the umls semantic network using owl (or ”what’s in a semantic web link?”). In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 1–16. Springer, Heidelberg (2003)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM 42(4), 741–843 (1995)
Knappe, R., Bulskov, H., Andreasen, T.: Perspectives on ontology-based querying. Int. J. Intell. Syst. 22(7), 739–761 (2007)
Mabotuwana, T.D.S., Warren, J.: An ontology-based approach to enhance querying capabilities of general practice medicine for better management of hypertension. Artificial Intelligence in Medicine 47(2), 87–103 (2009)
Monteiro, L., Porto, A.: A transformational view of inheritance in logic programming. In: ICLP, pp. 481–494 (1990)
Wolstencroft, K., Brass, A., Horrocks, I., Lord, P.W., Sattler, U., Turi, D., Stevens, R.: A little semantic web goes a long way in biology. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 786–800. Springer, Heidelberg (2005)
Yang, G., Kifer, M.: Well-founded optimism: Inheritance in frame-based knowledge bases. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 1013–1032. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jamil, H. (2010). Talking Biology in Logic, and Back. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2010. Lecture Notes in Computer Science(), vol 6278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15393-8_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-15393-8_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15392-1
Online ISBN: 978-3-642-15393-8
eBook Packages: Computer ScienceComputer Science (R0)