Suchergebnisse - "DESCRIPTION logics"

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

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

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

Schlagwörter: *ARTIFICIAL intelligence, *INDUSTRIAL safety, BUILDING information modeling, DESCRIPTION logics, CONSTRUCTION projects

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

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

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

Schlagwörter: *DESCRIPTION logics, *ONTOLOGY, *ARCHIVISTS, *PROFESSIONAL standards, *CONTEXTUAL learning, *INFORMATION resources management, *ARCHIVAL research

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

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

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

Schlagwörter: MATHEMATICAL logic, DESCRIPTION logics, BOOLEAN matrices, INCONSISTENCY (Logic), FUZZY logic

ONTODIC: A model of linguistic knowledge representation based on description logic.

Autoren: Alcina, Amparo¹ (AUTHOR) alcina@uji.es

Quelle: Terminology. 2025, Vol. 31 Issue 2, p208-237. 30p.

Schlagwörter: *DESCRIPTION logics, *LINGUISTIC models, *ONTOLOGY, *LINGUISTICS, *PHILOSOPHY of language, *ENCYCLOPEDIAS & dictionaries, *MODELING languages (Computer science)

Temporal Conjunctive Query Answering via Rewriting

Autoren: Westhofen, Lukas Jung, Jean Christoph Neider, Daniel

Quelle: Proceedings of the AAAI Conference on Artificial Intelligence. 39:15221-15229

Schlagwörter: Temporal Conjunctive Queries, Description Logics

Non-Fregean World of Logics.

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

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

Schlagwörter: *DESCRIPTION logics, *PROPOSITION (Logic), *EQUIVALENCE (Linguistics), *VALUES (Ethics), *SEMANTICS (Philosophy)

Frontiers of Combining Systems

Weitere Verfasser: Thiemann, René Weidenbach, Christoph

Schlagwörter: Open Access, artificial intelligence, computer networks, automated reasoning, computer systems, description logics, formal languages, formal logic, constraint solving, decision procedures, network protocols, ontologies, semantics, software architecture, software design, software engineering, software quality, verification and validation, Software Engineering, Computer hardware, Mathematical theory of computation, Artificial intelligence

Dateibeschreibung: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)

Zugangs-URL: https://library.oapen.org/handle/20.500.12657/107663

Semantic enrichment of decision rules: A framework for improving formal decision contexts.

Autoren: Wang, Yanling Sha, Liwei Zou, Li et al.

Quelle: Information Sciences. Nov2025, Vol. 717, pN.PAG-N.PAG. 1p.

Schlagwörter: *ALGORITHMS, *DECISION making, DESCRIPTION logics, KNOWLEDGE representation (Information theory), IMPLICATION (Logic)

Isaac Watts (1674–1748): logic and the "moral discipline of the mind" in the early Enlightenment.

Autoren: Corneanu, Sorana¹ (AUTHOR) sorana.corneanu@lls.unibuc.ro

Quelle: Intellectual History Review. Mar2025, Vol. 35 Issue 1, p23-45. 23p.

Schlagwörter: *DESCRIPTION logics, *ENLIGHTENMENT, *LOGIC, *PROTESTANTS, *MODERATION

Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity.

Autoren: GOTTLOB, GEORG HERNICH, ANDRÉ KUPKE, CLEMENS et al.

Quelle: Journal of the ACM. Sep2021, Vol. 68 Issue 5, p1-87. 87p.

Schlagwörter: DESCRIPTION logics, SEMANTICS, POLYNOMIAL time algorithms, SEMANTICS (Philosophy), NEGATION (Logic)

Datalog rewritability and data complexity of ALCHOIQ with closed predicates

Autoren: Lukumbuzya, Sanja Ortiz, Magdalena Šimkus, Mantas

Quelle: Artificial Intelligence. 330

Schlagwörter: Closed predicates, Datalog, Description logics, Query rewriting

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-222308
https://doi.org/10.1016/j.artint.2024.104099

Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities

Autoren: Gómez Álvarez, Lucía Rudolph, Sebastian Euzenat, Jérôme

Weitere Verfasser: Gómez Álvarez, Lucía Rudolph, Sebastian Euzenat, Jérôme

Quelle: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning

Schlagwörter: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], Reasoning about knowledge, Description logics, and other mental attitudes, Ontologies and knowledge-enriched data management, beliefs

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.science/hal-04884917v1
https://hal.science/hal-04884917v1/document
https://doi.org/10.24963/kr.2024/36

Interval Methods in Knowledge Representation.

Quelle: International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems. Jun2025, Vol. 33 Issue 4, p525-526. 2p.

Schlagwörter: *COMPUTER science, DAM safety, DESCRIPTION logics, KNOWLEDGE representation (Information theory), FUZZY logic

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

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

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

Schlagwörter: *ENCRYPTION protocols, *DESCRIPTION logics, *SEMANTIC Web, *DATA encryption, *MANUAL labor

Intensional Conceptualization Model and Its Language for Open Distributed Environments.

Autoren: Badawy, Khaled Essex, Aleksander Wahaishi, AbdulMutalib

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

Schlagwörter: SEMANTIC integration (Computer systems), DESCRIPTION logics, DYNAMICAL systems, CONCEPTUAL models, COMPUTATIONAL complexity, SEMANTICS (Philosophy), ONTOLOGY, OPEN architecture (Computer science)

Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies

Autoren: Gianluca Cima Domenico Lembo Lorenzo Marconi et al.

Quelle: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. :4436-4444

Schlagwörter: description logics, ontologies, computational complexity, automated reasoning

Zugangs-URL: https://hdl.handle.net/11573/1746454
https://doi.org/10.24963/ijcai.2025/494

Scalable methods to analyze Semantic Web data

Autoren: Nebot Romero, María Victoria

Weitere Verfasser: University/Department: Universitat Jaume I. Departament de Llenguatges i Sistemes Informàtics

Thesis Advisors: Berlanga Llavori, Rafael

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Semantic Web (SW), Ontology, Description Logics (DL), OWL, Ontology modularization, Multidimensional analysis (MD), Web semántica, Ontologías, escalabilidad, análisis multidimensional, Enginyeria, indústria i construcció

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/396347

Inferential Interpretations of Many-Valued Logics.

Autoren: Molick, Sanderson¹ smolicks@gmail.com

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

Schlagwörter: *MATRICES (Mathematics), *DESCRIPTION logics, *ALGEBRA, *HOMOMORPHISMS, *MATHEMATICAL models

Qualitative Distances and Qualitative Description of Images for Indoor Scene Description and Recognition in Robotics

Autoren: Falomir Llansola, Zoe

Weitere Verfasser: University/Department: Universitat Jaume I. Departament d'Enginyeria i Ciència dels Computadors

Thesis Advisors: Escrig Monferrer, M.Teresa, Freksa, Christian, Universität Bremen

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Sensor data integration, Fuzzy set theory, Qualitative representation and modelling, Image segmentation, Qualitative shape, Qualitative colour, Qualitative orientation, Qualitative topology, Ontology, Description Logics, Ciència de la Computació i Intel.ligència Artificial

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/52897

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

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

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

Schlagwörter: *CANCER vaccines, *DESCRIPTION logics, *DATA analysis, *DATA modeling, *ONTOLOGY