{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:05:37Z","timestamp":1777431937391,"version":"3.51.4"},"reference-count":29,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AO"],"published-print":{"date-parts":[[2020,10,27]]},"abstract":"<jats:p>Representation of scientific knowledge in ontologies suffers so often from the lack of computational knowledge required for inference. This article aims to perform quantitative analysis on physical systems, that is, to answer questions about values of quantitative state variables of a physical system with known structure. For this objective, we incorporate procedural knowledge on two distinct levels. At the domain-specific level, we propose a representation model for scientific knowledge, i.e. variables, theories, and laws of nature. At the domain-independent level, we provide an algorithm which, given a system S with known structure and a relevant scientific theory T, extracts a constraint network, whose variables are state variables of S defined by T, and whose constraints raise from relevant laws in\u00a0T. The constraint network is then solved, to build a system of equations whose unknowns are the output variables of\u00a0S. The proposed representation model and reasoning algorithm are evaluated by applying them to classic analysis examples.<\/jats:p>","DOI":"10.3233\/ao-200234","type":"journal-article","created":{"date-parts":[[2020,7,24]],"date-time":"2020-07-24T15:49:27Z","timestamp":1595605767000},"page":"439-474","source":"Crossref","is-referenced-by-count":0,"title":["Representing scientific knowledge for quantitative analysis of physical systems"],"prefix":"10.1177","volume":"15","author":[{"given":"Soroush","family":"Mobasheri","sequence":"first","affiliation":[{"name":"Faculty of Computer Science and Engineering, Shahid Beheshti University, Tehran, Iran. E-mails:\u00a0s_mobasheri@sbu.ac.ir,\u00a0m-shams@sbu.ac.ir"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrnoush","family":"Shamsfard","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science and Engineering, Shahid Beheshti University, Tehran, Iran. E-mails:\u00a0s_mobasheri@sbu.ac.ir,\u00a0m-shams@sbu.ac.ir"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/AO-200234_ref1","unstructured":"Allemang, D. & Hendler, J. (2011). Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL. Elsevier."},{"key":"10.3233\/AO-200234_ref2","unstructured":"Bahl, I.J. (2003). Lumped Elements for RF and Microwave Circuits. Artech House Microwave Library. Artech House, https:\/\/books.google.com\/books?id=91UsWxk1CYkC."},{"key":"10.3233\/AO-200234_ref3","first-page":"1","article-title":"Formal ontology of space, time, and physical entities in classical mechanics","author":"Bittner","year":"2018","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-200234_ref4","first-page":"1200","volume-title":"Introductory Circuit Analysis","author":"Boylestad","year":"2010"},{"key":"10.3233\/AO-200234_ref5","unstructured":"Chaudhri, V.K., Dinesh, N. & Heymans, S. (2014). Conceptual models of energy transfer and regulation. In FOIS (pp.\u00a0263\u2013276)."},{"key":"10.3233\/AO-200234_ref6","doi-asserted-by":"crossref","unstructured":"Cohen-Solal, Q., Bouzid, M. & Niveau, A. (2017). Checking the consistency of combined qualitative constraint networks. In AAAI (pp.\u00a01084\u20131090).","DOI":"10.1609\/aaai.v31i1.10692"},{"key":"10.3233\/AO-200234_ref7","doi-asserted-by":"publisher","DOI":"10.1186\/2041-1480-4-41"},{"key":"10.3233\/AO-200234_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24750-0_16"},{"key":"10.3233\/AO-200234_ref9","doi-asserted-by":"crossref","unstructured":"Cvjetkovic, V. (2017). Web physics ontology: Online interactive symbolic computation in physics. In Experiment@ International Conference (exp.\u00a0at\u201917), 2017 4th (pp.\u00a052\u201357). IEEE.","DOI":"10.1109\/EXPAT.2017.7984405"},{"key":"10.3233\/AO-200234_ref10","unstructured":"Dorf, R.C. & Bishop, R.H. (2011). Modern Control Systems. Prentice Hall."},{"issue":"1\u20132","key":"10.3233\/AO-200234_ref11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00080-6","article-title":"CyclePad: An articulate virtual laboratory for engineering thermodynamics","volume":"114","author":"Forbus","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AO-200234_ref12","unstructured":"Frigg, R. & Hartmann, S. (2012). Models in science. In E.N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Fall 2012 ed.). https:\/\/plato.stanford.edu\/archives\/fall2012\/entries\/models-science\/."},{"key":"10.3233\/AO-200234_ref13","doi-asserted-by":"crossref","unstructured":"Kauppinen, T. & de\u00a0Espindola, G.M. (2011). Linked open science-communicating, sharing and evaluating data, methods and results for executable papers. In ICCS (pp.\u00a0726\u2013731).","DOI":"10.1016\/j.procs.2011.04.076"},{"key":"10.3233\/AO-200234_ref14","unstructured":"Koriche, F., Lagniez, J.-M., Marquis, P. & Thomas, S. (2015). Compiling constraint networks into multivalued decomposable decision graphs. In IJCAI (pp.\u00a0332\u2013338)."},{"key":"10.3233\/AO-200234_ref16","unstructured":"Kulakowski, B.T., Gardner, J.F. & Shearer, J.L. (2007). Dynamic Modeling and Control of Engineering Systems. Cambridge University Press."},{"issue":"1","key":"10.3233\/AO-200234_ref17","doi-asserted-by":"publisher","first-page":"179","DOI":"10.13031\/2013.42569","article-title":"Three-dimensional transient heat, mass, momentum, and species transfer in the stored grain ecosystem: Part\u00a0I. Model development and evaluation","volume":"56","author":"Lawrence","year":"2013","journal-title":"Transactions of the ASABE"},{"key":"10.3233\/AO-200234_ref18","unstructured":"Lecoutre, C. (2013). Constraint Networks: Targeting Simplicity for Techniques and Algorithms. John Wiley & Sons."},{"key":"10.3233\/AO-200234_ref19","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1236"},{"issue":"4","key":"10.3233\/AO-200234_ref20","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/2757001.2757003","article-title":"The prot\u00e9g\u00e9 project: A\u00a0look back and a look forward","volume":"1","author":"Musen","year":"2015","journal-title":"AI Matters"},{"key":"10.3233\/AO-200234_ref21","doi-asserted-by":"crossref","unstructured":"Niles, I. & Pease, A. (2001). Towards a standard upper ontology. In Proceedings of the International Conference on Formal Ontology in Information Systems (Vol.\u00a02001, pp.\u00a02\u20139). ACM.","DOI":"10.1145\/505168.505170"},{"key":"10.3233\/AO-200234_ref22","first-page":"816","volume-title":"Electric Circuits","author":"Nilsson","year":"2014"},{"key":"10.3233\/AO-200234_ref23","unstructured":"Nipkow, T., Paulson, L.C. & Wenzel, M. (2002). Isabelle\/HOL: A\u00a0Proof Assistant for Higher-Order Logic (Vol.\u00a02283). Springer."},{"issue":"9","key":"10.3233\/AO-200234_ref25","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1016\/j.cageo.2004.12.004","article-title":"Knowledge representation in the semantic web for Earth and environmental terminology (SWEET)","volume":"31","author":"Raskin","year":"2005","journal-title":"Computers & Geosciences"},{"key":"10.3233\/AO-200234_ref26","doi-asserted-by":"crossref","unstructured":"Ruth, M. & Hannon, B. (2012). Modeling Dynamic Economic Systems. Modeling Dynamic Systems. New York: Springer. https:\/\/books.google.com\/books?id=Ts5CBxMr6PwC.","DOI":"10.1007\/978-1-4614-2209-9"},{"issue":"11","key":"10.3233\/AO-200234_ref27","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1098\/rsif.2006.0134","article-title":"An ontology of scientific experiments","volume":"3","author":"Soldatova","year":"2006","journal-title":"Journal of the Royal Society Interface"},{"issue":"2","key":"10.3233\/AO-200234_ref28","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","article-title":"Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis","volume":"9","author":"Stallman","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AO-200234_ref29","unstructured":"Tsang, E. (2014). Foundations of Constraint Satisfaction: The Classic Text. BoD\u00a0\u2013 Books on Demand."},{"key":"10.3233\/AO-200234_ref32","unstructured":"Weld, D.S. & De Kleer, J. (2013). Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufmann."},{"key":"10.3233\/AO-200234_ref33","unstructured":"Winther, R.G. (2016). The structure of scientific theories. In E.N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Spring 2016 ed.). http:\/\/plato.stanford.edu\/archives\/spr2016\/entries\/structure-scientific-theories\/."}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-200234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:46:17Z","timestamp":1777376777000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AO-200234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,27]]},"references-count":29,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/ao-200234","relation":{},"ISSN":["1875-8533","1570-5838"],"issn-type":[{"value":"1875-8533","type":"electronic"},{"value":"1570-5838","type":"print"}],"subject":[],"published":{"date-parts":[[2020,10,27]]}}}