Search Results - "Description logics"

OWL Consistency Models in Smart Contracts Design.

Authors: Davila, Rene Aldeco-Perez, Rocio Barcenas, Everardo

Source: International Journal of Combinatorial Optimization Problems & Informatics. 2026, Vol. 17 Issue 2, p76-88. 13p.

Queries With Exact Truth Values on Concept and Role Atoms in Paraconsistent Description Logics.

Authors: BIENVENU, MEGHYN BOURGAU, CAMILLE KOZHEMIACHENKO, DANIIL

Source: Journal of Artificial Intelligence Research. 2026, Vol. 85, p1-32. 32p.

Newly Discovered Archival Logic: Functions Emerging from the Records in Contexts Standard.

Authors: Rajh, Arian¹ (AUTHOR) arajh@ffzg.hr

Source: Preservation, Digital Technology & Culture. Oct2025, Vol. 54 Issue 3, p197-206. 10p.

Involving cognitive science in model transformation for description logics.

Authors: Hieke, Willi Schwöbel, Sarah Smolka, Michael N

Source: Logic Journal of the IGPL. Apr2026, Vol. 34 Issue 2, p1-15. 15p.

Two semantic interpretations of probabilities in description logics of typicality.

Authors: Lieto, Antonio Pozzato, Gian Luca

Source: Logic Journal of the IGPL. Apr2026, Vol. 34 Issue 2, p1-20. 20p.

Intensional Conceptualization Model and Its Language for Open Distributed Environments.

Authors: Badawy, Khaled Essex, Aleksander Wahaishi, AbdulMutalib

Source: AppliedMath. Sep2025, Vol. 5 Issue 3, p109. 20p.

Paraconsistency in Non-Fregean Framework.

Authors: Golińska-Pilarek, Joanna¹ (AUTHOR) j.golinska@uw.edu.pl

Source: Studia Logica. Aug2025, Vol. 113 Issue 4, p915-953. 39p.

Task-Based Functional Modeling and Mechanistic Verification of DVE Multi-Entity.

Authors: You, Zhen Liu, Shengyong Wang, Yutao et al.

Source: International Journal of Pattern Recognition & Artificial Intelligence. Aug2026, Vol. 40 Issue 10, p1-21. 21p.

On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions.

Authors: Gispert, Joan Esteva, Francesc Godo, Lluís et al.

Source: Logic Journal of the IGPL. Jun2025, Vol. 33 Issue 3, p1-44. 44p.

Learning typicality inclusions in a probabilistic description logic for concept combination and an application for recommending musical contents.

Authors: Gliozzi, Valentina Pozzato, Gian Luca Valese, Alberto

Source: Journal of Logic & Computation. Mar2026, Vol. 36 Issue 2, p1-26. 26p.

Subjects: Classification, Description logics, Heterogeneity, Knowledge representation (Information theory)

Non-Fregean World of Logics.

Authors: Golińska-Pilarek, Joanna¹ (AUTHOR) j.golinska@uw.edu.pl

Source: Journal of Philosophical Logic. Jun2025, Vol. 54 Issue 3, p575-620. 46p.

The Fixed-Point Semantics of Relational Concept Analysis.

Authors: EUZENAT, JÉRÔME¹ Jerome.Euzenat@inria.fr

Source: Journal of Artificial Intelligence Research. 2025, Vol. 83, p1-38. 38p.

DL-ReasonSuite: A Benchmark for Evaluating Description Logic Reasoning in Large Language Models.

Authors: Oluçoğlu, Müge Bursa, Okan

Source: Applied Sciences (2076-3417); Feb2026, Vol. 16 Issue 4, p1821, 28p

Efficient Ontology-Mediated Query Answering: Extending DL-liteR and Linear ELH.

Authors: Dimartino, Mirko M. Wood, Peter T. Calì, Andrea et al.

Source: Journal of Artificial Intelligence Research. 2025, Vol. 82, p851-899. 49p.

Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality.

Authors: Alviano, Mario Giordano, Laura Dupré, Daniele Theseider

Source: Journal of Logic & Computation. Nov2024, Vol. 34 Issue 8, p1469-1499. 31p.

Subjects: Description logics, Multilayer perceptrons, Many-valued logic, Semantics (Philosophy), Logic programming, Knowledge base

A fuzzy ontology-based context-aware encryption approach in IoT through device and information classification.

Authors: Zeshan, Furkh dar, Zaineb Ahmad, Adnan et al.

Source: Journal of Supercomputing. Nov2024, Vol. 80 Issue 16, p23311-23356. 46p.

Subjects: Encryption protocols, Description logics, Semantic Web, Data encryption, Manual labor

Inferential Interpretations of Many-Valued Logics.

Authors: Molick, Sanderson¹ smolicks@gmail.com

Source: Logics. Sep2024, Vol. 2 Issue 3, p112-128. 17p.

Proof Theory and Decision Procedures for Deontic STIT Logics.

Authors: Lyon, Tim S. van Berkel, Kees

Source: Journal of Artificial Intelligence Research. 2024, Vol. 81, p837-876. 40p.

Ontology-Based Framework for Context-Aware DfX Criteria Inference Using BIM.

Authors: Lee, Seul-Ki Jeong, Mi-Sik Cho, Tae-Yong et al.

Source: Journal of Management in Engineering. Sep2025, Vol. 41 Issue 5, p1-14. 14p.

Subjects: Building information modeling, Description logics, Artificial intelligence, Construction projects, Industrial safety

Empowering standardization of cancer vaccines through ontology: enhanced modeling and data analysis.

Authors: Zheng, Jie Li, Xingxian Masci, Anna Maria et al.

Source: Journal of Biomedical Semantics. 6/19/2024, Vol. 15 Issue 1, p1-13. 13p.