Qureshi, Haya Majid; Faber, Wolfgang Evaluating Datalog tools for meta-reasoning over OWL 2 QL. (English) Zbl 07984799 Theory Pract. Log. Program. 24, No. 2, 368-393 (2024). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gottlob, Georg; Manna, Marco; Marte, Cinzia Dyadic existential rules. (English) Zbl 07984791 Theory Pract. Log. Program. 24, No. 2, 227-249 (2024). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mariani, Cristian The determinacy problem in quantum mechanics. (English) Zbl 07983988 Found. Phys. 54, No. 6, Paper No. 73, 19 p. (2024). MSC: 81Pxx 81-XX 03Axx × Cite Format Result Cite Review PDF Full Text: DOI
Walid, Redwan; Joshi, Karuna Pande; Elluri, Lavanya Secure and privacy-compliant data sharing: an essential framework for healthcare organizations. (English) Zbl 07980052 Giri, Debasis (ed.) et al., Proceedings of the tenth international conference on mathematics and computing. ICMC 2024, Krishnankoil, Tamil Nadu, India, January 4–7, 2024. Volume 1. Singapore: Springer. Lect. Notes Netw. Syst. 964, 15-26 (2024). MSC: 65-XX 68-XX 94-XX × Cite Format Result Cite Review PDF Full Text: DOI
Ataeva, O. M.; Serebryakov, V. A.; Tuchkova, N. P. From texts to knowledge graph in the semantic library LibMeta. (English) Zbl 07940845 Lobachevskii J. Math. 45, No. 5, 2211-2219 (2024). MSC: 68Vxx 68Txx × Cite Format Result Cite Review PDF Full Text: DOI
Sanchioni, Marco Exploring the interplay between wave function realism and gauge symmetry interpretations in quantum mechanics. (English) Zbl 07925535 Found. Phys. 54, No. 4, Paper No. 59, 18 p. (2024). MSC: 81Pxx 83Cxx 81-XX × Cite Format Result Cite Review PDF Full Text: DOI
Palagin, O.; Petrenko, M.; Malakhov, K. Challenges and role of ontology engineering in creating the knowledge industry: a research-related design perspective. (English. Ukrainian original) Zbl 07918619 Cybern. Syst. Anal. 60, No. 4, 633-645 (2024); translation from Kibern. Sist. Anal. 60, No. 4, 141-155 (2024). MSC: 68Mxx 93-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Dragalina-Chernaya, Elena Logical hylomorphism revisited: Aristotle, Tarski, and Corcoran. (English) Zbl 07918528 Madigan, Timothy J. (ed.) et al., Universal logic, ethics, and truth. Essays in honor of John Corcoran (1937–2021). Cham: Birkhäuser. Stud. Univers. Log., 109-118 (2024). MSC: 03A05 03C80 03A10 × Cite Format Result Cite Review PDF Full Text: DOI
Denisova, Tatiana Yu. Aristotle’s ontology of time. (English) Zbl 1547.00132 Madigan, Timothy J. (ed.) et al., Universal logic, ethics, and truth. Essays in honor of John Corcoran (1937–2021). Cham: Birkhäuser. Stud. Univers. Log., 95-107 (2024). MSC: 00A30 00A79 01A20 × Cite Format Result Cite Review PDF Full Text: DOI
Ghanim, Hussein Ali Ahmed; Kovács, László Ontology supported domain knowledge module for E-tutoring system. (English) Zbl 07911140 Acta Cybern. 26, No. 3, 455-474 (2024). MSC: 68T01 × Cite Format Result Cite Review PDF Full Text: DOI
Muminov, Bahodir Models and algorithms script of intellectual dialog systems. (English) Zbl 1548.68248 Azimov, Dilmurat (ed.), Proceedings of the IUTAM symposium on optimal guidance and control for autonomous systems 2023. Cham: Springer. IUTAM Bookser. 40, 333-344 (2024). MSC: 68T27 68T30 68T50 × Cite Format Result Cite Review PDF Full Text: DOI
Xue, Xingsi; Ye, Miao; Nian, Qifeng Matching ontologies with kernel principle component analysis and evolutionary algorithm. (English) Zbl 07899057 Demonstr. Math. 57, Article ID 20240021, 19 p. (2024). MSC: 68U10 90C90 68W50 × Cite Format Result Cite Review PDF Full Text: DOI
Hassan, Hashmy; Elayidom, Sudheep; Irshad, M. R.; Chesneau, Christophe GoKnowGraph: a multilingual semantic search system for government of Kerala system documents. (English) Zbl 07896202 Lobachevskii J. Math. 45, No. 3, 1117-1130 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Palagin, O.; Kaverinskiy, V.; Malakhov, K.; Petrenko, M. Fundamentals of the integrated use of neural network and ontolinguistic paradigms: a comprehensive approach. (English. Ukrainian original) Zbl 07840792 Cybern. Syst. Anal. 60, No. 1, 111-123 (2024); translation from Kibern. Sist. Anal. 60, No. 1, 134-149 (2024). MSC: 68Qxx 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Hayes, Wayne B. Exact \(p\)-values for global network alignments via combinatorial analysis of shared GO terms. REFANGO: Rigorous Evaluation of Functional Alignments of Networks using Gene Ontology. (English) Zbl 1533.92078 J. Math. Biol. 88, No. 5, Paper No. 50, 22 p. (2024). MSC: 92C42 92C40 × Cite Format Result Cite Review PDF Full Text: DOI
Cotnoir, A. J.; Varzi, Achille C. Mereology. Reprint of the 2021 hardback edition. (English) Zbl 1533.03001 Oxford: Oxford University Press (ISBN 978-0-19-890893-7/pbk). xvi, 405 p. (2024). MSC: 03-01 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Thanh Hai Nguyen; Bundas, Matthew; Tran Cao Son; Balduccini, Marcello; Garwood, Kathleen Campbell; Griffor, Edward R. Specifying and reasoning about CPS through the Lens of the NIST CPS framework. (English) Zbl 07984775 Theory Pract. Log. Program. 23, No. 5, 1029-1069 (2023). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Livet, Pierre Process ontology: conversations and argumentations, controversies in mathematics and mathematics as socialisation. (English) Zbl 07958037 Topoi 42, No. 1, 323-332 (2023). MSC: 00A30 00A35 × Cite Format Result Cite Review PDF Full Text: DOI
Bianchetti, Matteo; Venturi, Giorgio Formal ontology and mathematics. A case study on the identity of proofs. (English) Zbl 07958036 Topoi 42, No. 1, 307-321 (2023). MSC: 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Hartimo, Mirja; Rytilä, Jenni No magic: from phenomenology of practice to social ontology of mathematics. (English) Zbl 07958034 Topoi 42, No. 1, 283-295 (2023). MSC: 00A30 00A35 × Cite Format Result Cite Review PDF Full Text: DOI
Collin, James Henry Of marriage and mathematics: inferentialism and social ontology. (English) Zbl 07958031 Topoi 42, No. 1, 247-257 (2023). MSC: 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Cole, Julian C. Some preliminary notes on the objectivity of mathematics. (English) Zbl 07958030 Topoi 42, No. 1, 235-245 (2023). MSC: 00A30 00A35 × Cite Format Result Cite Review PDF Full Text: DOI
Carter, Jessica Mathematical practice, fictionalism and social ontology. (English) Zbl 07958028 Topoi 42, No. 1, 211-220 (2023). MSC: 00A30 00A35 × Cite Format Result Cite Review PDF Full Text: DOI
Ferreirós, José Degrees of objectivity? Mathemata and social objects. (English) Zbl 07958027 Topoi 42, No. 1, 199-209 (2023). MSC: 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Rybaříková, Zuzana Arthur N. Prior and the Lvov-Warsaw school. (English) Zbl 07955808 Hist. Philos. Log. 44, No. 1, 91-103 (2023). MSC: 03-03 03B44 03B45 01A60 01A72 × Cite Format Result Cite Review PDF Full Text: DOI
Zhao, Bangyao; Zhao, Lili Mining adverse events in large frequency tables with ontology, with an application to the vaccine adverse event reporting system. (English) Zbl 1545.62687 Stat. Med. 42, No. 10, 1512-1524 (2023). MSC: 62P10 × Cite Format Result Cite Review PDF Full Text: DOI
Suzuki, Satoru Measurement theory meets mereology in multidimensionality in resemblance nominalism. (English) Zbl 1542.03046 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 213-232 (2023). MSC: 03B60 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Brown, Chad E.; Pease, Adam; Urban, Josef Translating SUMO-K to higher-order set theory. (English) Zbl 1540.68260 Sattler, Uli (ed.) et al., Frontiers of combining systems. 14th international symposium, Frocos 2023, Prague, Czech Republic, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14279, 255-274 (2023). MSC: 68V15 03B16 03E70 68T30 68V20 68V35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kolli, Manel Formal modeling of multi-viewpoint ontology alignment by mappings composition. (English) Zbl 07804161 Acta Univ. Sapientiae, Inform. 15, No. 2, 181-204 (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Posy, Carl J. Platonism and the proto-ontology of mathematics: learning from the Axiom of choice. (English) Zbl 1532.00016 Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 99-134 (2023). MSC: 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Awotunde, Joseph Bamidele; Folorunsho, Olaiya; Mustapha, Isah Olawale; Olusanya, Olayinka Olufunmilayo; Akanbi, Mulikat Bola; Abiodun, Kazeem Moses An enhanced Internet of things enabled type-2 fuzzy logic for Healthcare system applications. (English) Zbl 1534.93269 Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 133-151 (2023). MSC: 93C42 92C50 × Cite Format Result Cite Review PDF Full Text: DOI
Zhao, Bangyao; Zhong, Yuan; Kang, Jian; Zhao, Lili Bayesian learning of Covid-19 vaccine safety while incorporating adverse events ontology. (English) Zbl 07789411 Ann. Appl. Stat. 17, No. 4, 2887-2902 (2023). MSC: 62Pxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Suraj, Zbigniew; Grochowalski, Piotr The RSDS – bibliographic database for rough sets and related fields. (English) Zbl 1540.68245 Peters, James F. (ed.) et al., Transactions on Rough Sets XXIII. Berlin: Springer. Lect. Notes Comput. Sci. 13610, 99-117 (2023). MSC: 68T37 68T05 68T10 68T30 68V35 × Cite Format Result Cite Review PDF Full Text: DOI
Ataeva, O. M.; Karnet, Yu. N.; Serebryakov, V. A.; Tuchkova, N. P. Approach to creating a thesaurus and a knowledge graph of an applied subject area. (English) Zbl 1528.68400 Lobachevskii J. Math. 44, No. 7, 2577-2586 (2023). MSC: 68V35 68T30 68V30 × Cite Format Result Cite Review PDF Full Text: DOI
Feier, Cristina; Lutz, Carsten; Przybyłko, Marcin Answer counting under guarded TGDs. (English) Zbl 07753360 Log. Methods Comput. Sci. 19, No. 3, Paper No. 16, 51 p. (2023). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ataeva, O. M.; Serebryakov, V. A.; Tuchkova, N. P. Ontological approach to a knowledge graph construction in a semantic library. (English) Zbl 1528.68399 Lobachevskii J. Math. 44, No. 6, 2229-2239 (2023). MSC: 68V30 68T30 68V35 × Cite Format Result Cite Review PDF Full Text: DOI
Cima, Gianluca; Poggi, Antonella; Lenzerini, Maurizio The notion of abstraction in ontology-based data management. (English) Zbl 07745372 Artif. Intell. 323, Article ID 103976, 38 p. (2023). MSC: 68Txx × Cite Format Result Cite Review PDF Full Text: DOI
Chakraborty, Mihir Kumar A note on the ontology of mathematics. (English) Zbl 1541.00035 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 1-10 (2023). MSC: 00A30 03A05 03B53 03E30 03E45 03E50 × Cite Format Result Cite Review PDF Full Text: DOI
Katsevich, Eugene; Sabatti, Chiara; Bogomolov, Marina Filtering the rejection set while preserving false discovery rate control. (English) Zbl 1514.62145 J. Am. Stat. Assoc. 118, No. 541, 165-176 (2023). MSC: 62J15 62P10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Číhalová, Martina; Duží, Marie Modelling dynamic behaviour of agents in a multiagent world: logical analysis of Wh-questions and answers. (English) Zbl 1523.03009 Log. J. IGPL 31, No. 1, 140-171 (2023). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Gutiérrez-Basulto, Víctor; Ibáñez-García, Yazmín; Jung, Jean Christoph; Murlak, Filip Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies. (English) Zbl 07638286 Artif. Intell. 314, Article ID 103808, 21 p. (2023). MSC: 68Txx × Cite Format Result Cite Review PDF Full Text: DOI
Oldofredi, Andrea The relational dissolution of the quantum measurement problems. (English) Zbl 1516.81018 Found. Phys. 53, No. 1, Paper No. 10, 24 p. (2023). MSC: 81P15 81P05 00A79 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Aristarhov, Serj Heisenberg’s uncertainty principle and particle trajectories. (English) Zbl 1516.81133 Found. Phys. 53, No. 1, Paper No. 7, 12 p. (2023). MSC: 81S07 37B65 00A79 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Reicher, Maria Elisabeth The primacy of abstract artifacts. (English) Zbl 07935358 McNamara, Paul (ed.) et al., Agency, norms, inquiry, and artifacts: essays in honor of Risto Hilpinen. Cham: Springer. Synth. Libr. 454, 235-246 (2022). MSC: 03A05 03B45 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Lemanski, Jens; Schang, Fabien A bitstring semantics for calculus CL. (English) Zbl 07909180 Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 171-193 (2022). MSC: 03A99 03G99 00A66 × Cite Format Result Cite Review PDF Full Text: DOI
Segalerba, Gianluigi Division of entities and foundations of reality: Aristotle’s ontological square. (English) Zbl 07909174 Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 15-52 (2022). MSC: 03A05 03A10 03B38 03B65 03B80 × Cite Format Result Cite Review PDF Full Text: DOI
Jedwabny, Martin; Bisquert, Pierre; Croitoru, Madalina Scrutable robot actions using a hierarchical ontological model. (English) Zbl 1522.68604 Braun, Tanya (ed.) et al., Graph-based representation and reasoning. 27th international conference on conceptual structures, ICCS 2022, Münster, Germany, September 12–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13403, 11-24 (2022). MSC: 68T40 68T20 68T30 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Kirillovich, A. V.; Nevzorova, O. A.; Lipachev, E. K. \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model. (English) Zbl 07676589 Lobachevskii J. Math. 43, No. 12, 3504-3514 (2022). MSC: 68Txx 68Vxx 00Axx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ataeva, O. M.; Serebryakov, V. A.; Tuchkova, N. P. Development of the semantic space “mathematics” by integrating a subspace of its applied area. (English) Zbl 1516.68119 Lobachevskii J. Math. 43, No. 12, 3435-3446 (2022). MSC: 68V35 68T30 68V30 × Cite Format Result Cite Review PDF Full Text: DOI
Elizarov, A. M.; Kirillovich, A. V.; Lipachev, E. K.; Nevzorova, O. A. \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge. (English. Russian original) Zbl 1512.68435 Dokl. Math. 106, No. 3, 429-435 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 507, 29-35 (2022). MSC: 68V30 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Wang, Peng; Zou, Shiyi; Liu, Jiajun; Ke, Wenjun Matching biomedical ontologies with GCN-based feature propagation. (English) Zbl 1508.92111 Math. Biosci. Eng. 19, No. 8, 8479-8504 (2022). MSC: 92C50 68T07 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Yu; Wu, Haitao; Gao, Jinfeng; Zhang, Yongtao; Yao, Ruxian; Zhu, Yuxiang Effective method for detecting error causes from incoherent biological ontologies. (English) Zbl 1508.92003 Math. Biosci. Eng. 19, No. 7, 7388-7409 (2022). MSC: 92B05 68W99 92-08 × Cite Format Result Cite Review PDF Full Text: DOI
Dinh, Nguyen Thi; Van, Thanh The; Le, Thanh Manh A semantic-based image retrieval system using nested kd-tree structure. (English) Zbl 1513.68076 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 53, 3-28 (2022). MSC: 68U10 68P20 68T30 × Cite Format Result Cite Review PDF
Lazarovici, Dustin; Reichert, Paula The point of primitive ontology. (English) Zbl 1516.81015 Found. Phys. 52, No. 6, Paper No. 120, 18 p. (2022). MSC: 81P15 81P16 81Q70 81V22 00A79 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Indrzejczak, Andrzej Leśniewski’s ontology – proof-theoretic characterization. (English) Zbl 07628208 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 541-558 (2022). MSC: 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Ataeva, O. M.; Serebryakov, V. A.; Tuchkova, N. P. Creating the applied subject area ontology by means of the content of the digital semantic library. (English) Zbl 1528.68402 Lobachevskii J. Math. 43, No. 7, 1795-1804 (2022). MSC: 68V35 68T30 68V30 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Lingyu; Mi, Jiwei Ontology matching based on bipartite graph. (English) Zbl 07611702 J. Nonlinear Convex Anal. 23, No. 10, 2117-2138 (2022). MSC: 68T30 × Cite Format Result Cite Review PDF Full Text: Link
Makinson, David Frege’s ontological diagram completed. (English) Zbl 1515.03035 Log. Univers. 16, No. 3, 381-387 (2022). Reviewer: Jens Lemanski (Hagen) MSC: 03A05 03B10 03-03 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Jia, Ding What should be the ontology for the standard model? (English) Zbl 1507.81018 Found. Phys. 52, No. 4, Paper No. 92, 20 p. (2022). MSC: 81P05 70S15 81T30 83C05 81V22 81S40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ayranci, Pelin; Lai, Phung; Phan, Nhathai; Hu, Han; Kolinowski, Alexander; Newman, David; Dou, Deijing OnML: an ontology-based approach for interpretable machine learning. (English) Zbl 07576503 J. Comb. Optim. 44, No. 1, 770-793 (2022). MSC: 68T05 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Pasqualini, Matías; Fortin, Sebastian Trans-statistical behavior of a multiparticle system in an ontology of properties. (English) Zbl 1498.81034 Found. Phys. 52, No. 4, Paper No. 70, 19 p. (2022). MSC: 81P05 81V73 81V74 47A80 00A79 × Cite Format Result Cite Review PDF Full Text: DOI Link
Gerasimova, Olga; Kikot, Stanislav; Kurucz, Agi; Podolskii, Vladimir; Zakharyaschev, Michael A tetrachotomy of ontology-mediated queries with a covering axiom. (English) Zbl 07554486 Artif. Intell. 309, Article ID 103738, 46 p. (2022). MSC: 68T30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dorato, Mauro; Morganti, Matteo What ontology for relational quantum mechanics? (English) Zbl 1498.81019 Found. Phys. 52, No. 3, Paper No. 66, 19 p. (2022). MSC: 81P05 08A02 01A65 00A79 × Cite Format Result Cite Review PDF Full Text: DOI
Lutz, Carsten; Sabellek, Leif A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\). (English) Zbl 1495.68211 Artif. Intell. 308, Article ID 103709, 45 p. (2022). MSC: 68T27 68P15 68Q25 68T30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rodler, Patrick Memory-limited model-based diagnosis. (English) Zbl 07505980 Artif. Intell. 305, Article ID 103681, 36 p. (2022). MSC: 68Txx × Cite Format Result Cite Review PDF Full Text: DOI
Inoué, Takao On Blass translation for Leśniewski’s propositional ontology and modal logics. (English) Zbl 1507.03079 Stud. Log. 110, No. 1, 265-289 (2022). Reviewer: Xavier Parent (Vienna) MSC: 03B45 03B20 03F45 03B44 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rytilä, Jenni Social constructivism in mathematics? The promise and shortcomings of Julian Cole’s institutional account. (English) Zbl 1529.00016 Synthese 199, No. 3-4, 11517-11540 (2021). MSC: 00A30 00A35 × Cite Format Result Cite Review PDF Full Text: DOI
Amiriara, Hassan On the possibility of non-eternalism without absolute simultaneity. (English) Zbl 1529.83005 Synthese 199, No. 3-4, 5885-5898 (2021). MSC: 83A05 × Cite Format Result Cite Review PDF Full Text: DOI
Esfeld, Michael Against the disappearance of spacetime in quantum gravity. (English) Zbl 1529.83038 Synthese 199, Suppl. 2, S355-S369 (2021). MSC: 83C45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Raab, Jonas The unbearable circularity of easy ontology. (English) Zbl 1529.03081 Synthese 199, No. 1-2, 3527-3556 (2021). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Grandjean, Vincent Symmetric and asymmetric theories of time. (English) Zbl 1528.03035 Synthese 199, No. 5-6, 14403-14426 (2021). MSC: 03A05 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Allori, Valia Wave-functionalism. (English) Zbl 1528.81006 Synthese 199, No. 5-6, 12271-12293 (2021). MSC: 81P05 × Cite Format Result Cite Review PDF Full Text: DOI
Jaksland, Rasmus Entanglement as the world-making relation: distance from entanglement. (English) Zbl 1525.81013 Synthese 198, No. 10, 9661-9693 (2021). MSC: 81P40 81P05 83C45 × Cite Format Result Cite Review PDF Full Text: DOI
Coffey, Kevin On the ontology of particle mass and energy in special relativity. (English) Zbl 1525.83002 Synthese 198, No. 11, 10817-10846 (2021). MSC: 83A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ryzhikov, Vladislav; Savateev, Yury; Zakharyaschev, Michael Deciding FO-rewritability of ontology-mediated queries in linear temporal logic. (English) Zbl 07744953 Combi, Carlo (ed.) et al., 28th international symposium on temporal representation and reasoning, TIME 2021, Klagenfurt, Austria, virtual conference, September 27–29, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 206, Article 10, 15 p. (2021). MSC: 68Q42 03B44 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Inoue, Takao A sound interpretation of Leśniewski’s epsilon in modal logic KTB. (English) Zbl 1529.03153 Bull. Sect. Log., Univ. Łódź, Dep. Log. 50, No. 4, 455-463 (2021). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Heil, John Truthmaking and fundamentality. (English) Zbl 1507.03020 Synthese 198, Suppl. 3, S849-S860 (2021). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Graziani, Ernesto; Orilia, Francesco Temporal ontology: tenselessness and quantification. (English) Zbl 1507.03018 Synthese 198, No. 3, 2821-2847 (2021). MSC: 03A05 03A10 03B44 × Cite Format Result Cite Review PDF Full Text: DOI
Shalak, Vladimir Ivanovich Logic in the process ontology. (Russian. English summary) Zbl 1539.03085 Log. Issled. 27, No. 2, 48-65 (2021). MSC: 03B45 03B60 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Lemanski, Jens Extended syllogistics in calculus \(CL\). (English) Zbl 1515.03033 J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 2, 557-576 (2021). MSC: 03A05 × Cite Format Result Cite Review PDF
Romanov, Anton; Filippov, Aleksey; Yarushkina, Nadezhda An approach to contextual time series analysis. (English) Zbl 1497.68465 Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 20th international conference, ICAISC 2021, virtual event, June 21–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12854, 496-505 (2021). MSC: 68T30 62M10 × Cite Format Result Cite Review PDF Full Text: DOI
Giunti, Marco; Sergioli, Giuseppe; Vivanet, Giuliano; Pinna, Simone Representing \(n\)-ary relations in the semantic web. (English) Zbl 1492.68126 Log. J. IGPL 29, No. 4, 697-717 (2021). MSC: 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Mani, A. General rough modeling of cluster analysis. (English) Zbl 1495.68229 Ramanna, Sheela (ed.) et al., Rough sets. International joint conference, IJCRS 2021, Bratislava, Slovakia, September 19–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12872, 75-82 (2021). MSC: 68T37 08A70 62H30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dummett, Michael Sense and reference from a constructivist standpoint. (English) Zbl 1529.03031 Bull. Symb. Log. 27, No. 4, 485-500 (2021). MSC: 03A05 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Chen, Jiaoyan; Hu, Pan; Jimenez-Ruiz, Ernesto; Holter, Ole Magnus; Antonyrajah, Denvar; Horrocks, Ian OWL2Vec*: embedding of OWL ontologies. (English) Zbl 07465656 Mach. Learn. 110, No. 7, 1813-1845 (2021). MSC: 68T05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dubslaff, Clemens; Koopmann, Patrick; Turhan, Anni-Yasmin Enhancing probabilistic model checking with ontologies. (English) Zbl 1522.68310 Formal Asp. Comput. 33, No. 6, 885-921 (2021). MSC: 68Q60 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Gao, Shan A No-Go result for QBism. (English) Zbl 1483.81007 Found. Phys. 51, No. 5, Paper No. 103, 6 p. (2021). MSC: 81P05 81P15 35Q40 62C10 00A79 00A30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Khadir, Ahlem Chérifa; Aliane, Hassina; Guessoum, Ahmed Ontology learning: grand tour and challenges. (English) Zbl 1484.68241 Comput. Sci. Rev. 39, Article ID 100339, 15 p. (2021). MSC: 68T30 68T05 68T07 × Cite Format Result Cite Review PDF Full Text: DOI
Barceló, Pablo; Berger, Gerald; Gottlob, Georg; Pieris, Andreas Guarded ontology-mediated queries. (English) Zbl 07442307 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 27-52 (2021). MSC: 68-XX 03-XX × Cite Format Result Cite Review PDF Full Text: DOI Link
Warren, Jared Ontology, set theory, and the paraphrase challenge. (English) Zbl 1547.03051 J. Philos. Log. 50, No. 6, 1231-1248 (2021). MSC: 03A05 03E70 × Cite Format Result Cite Review PDF Full Text: DOI
Baader, Franz; Koopmann, Patrick; Kriegel, Francesco; Nuradiansyah, Adrian Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes. (English) Zbl 1540.68240 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 309-326 (2021). MSC: 68T30 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Hermens, R. How real are quantum states in \(\psi \)-ontic models? (English) Zbl 07422256 Found. Phys. 51, No. 2, Paper No. 38, 26 p. (2021). MSC: 81Pxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael First-order rewritability of ontology-mediated queries in linear temporal logic. (English) Zbl 1520.68182 Artif. Intell. 299, Article ID 103536, 30 p. (2021). MSC: 68T27 03B44 68T30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Esfeld, Michael From the measurement problem to the primitive ontology programme. (English) Zbl 1473.81026 Allori, Valia (ed.) et al., Do wave functions jump? Perspectives of the work of GianCarlo Ghirardi. Cham: Springer. Fundam. Theor. Phys. 198, 95-108 (2021). MSC: 81P15 81P05 81P65 81-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Serebryakov, V. A.; Ataeva, O. M. Ontology based approach to modeling of the subject domain “mathematics” in the digital library. (English) Zbl 1528.68403 Lobachevskii J. Math. 42, No. 8, 1920-1934 (2021). MSC: 68V35 68T30 68V30 × Cite Format Result Cite Review PDF Full Text: DOI
Ataeva, O. M.; Serebryakov, V. A.; Tuchkova, N. P. Using applied ontology to saturate semantic relations. (English) Zbl 1528.68401 Lobachevskii J. Math. 42, No. 8, 1776-1785 (2021). MSC: 68V35 68T30 68V30 × Cite Format Result Cite Review PDF Full Text: DOI
Meytus, V. Yu. Problems of constructing intelligent systems. Intelligent modeling. (English. Russian original) Zbl 1491.68149 Cybern. Syst. Anal. 57, No. 4, 509-520 (2021); translation from Kibern. Sist. Anal. 57, No. 4, 3-19 (2021). MSC: 68T01 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Cotnoir, A. J.; Varzi, Achille C. Mereology. (English) Zbl 1485.03001 Oxford: Oxford University Press (ISBN 978-0-19-874900-4/hbk). xvi, 405 p. (2021). Reviewer: Jim Mackenzie (Sydney) MSC: 03-01 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Hamdi, Ghassen; Omri, Mohamed Nazih; Benferhat, Salem; Bouraoui, Zied; Papini, Odile Query answering DL-Lite knowledge bases from hidden datasets. (English) Zbl 1518.68379 Ann. Math. Artif. Intell. 89, No. 3-4, 271-299 (2021). MSC: 68T35 68P15 68T27 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Shahshahani, Siavash The curious neglect of geometry in modern philosophies of mathematics. (English) Zbl 1484.00086 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 379-389 (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 00A30 01A55 51-03 × Cite Format Result Cite Review PDF Full Text: DOI