description logics - Robuta Search

https://easychair.org/publications/preprint/ZpJD Reasoning in Non-Normal Modal Description Logics description logics reasoning non normal modal https://iccl.inf.tu-dresden.de/web/Data_Complexity_in_Expressive_Description_Logics_With_Path_Expressions/en Data Complexity in Expressive Description Logics With Path Expressions - International Center for... data complexity description logics international center expressive path https://repositum.tuwien.at/handle/20.500.12708/12742 reposiTUm: Integration of conjunctive queries over description logics into HEX-programs description logics integration queries hex programs https://daselab.cs.ksu.edu/publications/complexities-horn-description-logics Complexities of Horn Description Logics | Data Semantics Lab description logics complexities horn data semantics https://www.numberanalytics.com/blog/mastering-description-logics Mastering Description Logics in Math Logic Unlock the power of Description Logics in mathematical logic with our in-depth guide, covering basics, applications, and advanced concepts. description logics mastering math https://cris.fbk.eu/handle/11582/34401 Actions over a constructive semantics for description logics description logics actions constructive semantics https://www.sciweavers.org/publications/distance-based-measures-inconsistency-and-incoherency-description-logics Distance-based Measures of Inconsistency and Incoherency for Description Logics | Sciweavers Distance-based Measures of Inconsistency and Incoherency for Description Logics - Abstract. Inconsistency and incoherency are two sorts of erroneous... description logics distance based measures inconsistency https://open.hpi.de/courses/semanticweb2015/items/6WC6rQkWVYT0D9KapRNHEh 3.7 Description Logics | Knowledge Engineering with Semantic Web description logics knowledge engineering semantic web https://bia.unibz.it/esploro/outputs/conferenceProceeding/Reasoning-on-UML-Class-Diagrams-in/991006786792701241 Reasoning on UML Class Diagrams in Description Logics - - In this paper we formalize UML class diagrams in terms of a logic belonging to Description Logics, which are subsets of First-Order Logic that have been... class diagrams description logics reasoning uml https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.8.1 Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361) description logics dagstuhl seminar extending synergies sat https://www.ijcai.org/proceedings/2024/359 Data Complexity in Expressive Description Logics with Path Expressions | IJCAI Electronic proceedings of IJCAI 2024 data complexity description logics expressive path expressions https://dspace.rpi.edu/items/f051e1f9-47ce-4275-bc80-ccde7fb9083b Description Logics Emerge from Ivory Towers Description logic (DL) has existed as a field for a few decades yet only somewhat recently has appeared to transform from an area of academic interest to an... description logics emerge ivory towers https://nrc-publications.canada.ca/eng/view/object/?id=548c03fb-7f86-4990-9e38-ec94bc479b4a DatalogDL: datalog rules parameterized by description logics - NRC Publications Archive - Canada.ca DatalogDL: datalog rules parameterized by description logics description logics publications archive datalog rules parameterized https://ceur-ws.org/Vol-613/ CEUR-WS.org/Vol-613 - Uncertainty in Description Logics 2010. description logics ws vol uncertainty https://research.uni-luebeck.de/en/publications/on-bounded-memory-stream-data-processing-with-description-logics/fingerprints/ On Bounded-Memory Stream Data Processing with Description Logics - Fingerprint - University of... data processing description logics university of memory stream https://dl.kr.org/ Description Logics The description logic workshops are the main international event of the description logic research community. They take place annually and aim at being an... description logics