description logics - Robuta Search

https://iccl.inf.tu-dresden.de/web/Inproceedings3201/en Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract - International Center... Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer. Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. In Juan L. Reutter, Divesh... description logics extended abstract practical fixed domain https://dkm.fbk.eu/publication/reasoning-with-instances-in-distributed-description-logics/ Reasoning with Instances in Distributed Description Logics | DKM | FBK description logics reasoning instances distributed dkm https://iris.uniupo.it/handle/11579/48957 Reasoning about typicality in preferential description logics: Preferential vs Rational entailment description logics reasoning preferential vs rational https://dkm.fbk.eu/publication/representing-mereological-relations-in-weighted-description-logics/ Representing Mereological Relations in Weighted Description Logics | DKM | FBK description logics representing relations weighted dkm https://www.cai.sk/ojs/index.php/cai/article/view/2017_6_1415 On the Satisfiability of Quasi-Classical Description Logics | Computing and Informatics on the description logics quasi https://ceur-ws.org/Vol-250/ CEUR-WS.org/Vol-250 - Description Logics 2007 Workshop Proceedings DL2005 description logics ws vol https://iccl.inf.tu-dresden.de/web/LATPub699/en Integrate Action Formalisms into Linear Temporal Description Logics - International Center for... Franz Baader, Hongkai Liu, Anees ul Mehdi. Integrate Action Formalisms into Linear Temporal Description Logics. Technical Report, Chair for Automata Theory,... description logics international center integrate action linear https://library.confdna.com/kr/2020/59/bibtex/ Signature-Based Abduction for Expressive Description Logics @KR2020 Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background... description logics signature based abduction expressive https://daselab.cs.ksu.edu/publications/data-complexity-el-family-description-logics Data Complexity in the EL Family of Description Logics | Data Semantics Lab data complexity description logics el https://iccl.inf.tu-dresden.de/web/Inproceedings3201/en Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract - International Center... Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer. Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract. In Juan L. Reutter, Divesh... description logics extended abstract practical fixed domain https://cris.fbk.eu/handle/11582/34401 Actions over a constructive semantics for description logics actions constructive semantics description logics 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 https://cris.fbk.eu/handle/11582/322058 Extending ASP Based Reasoning to Expressive Constructive Description Logics extending asp based reasoning expressive https://dkm.fbk.eu/publication/reasoning-with-instances-in-distributed-description-logics/ Reasoning with Instances in Distributed Description Logics | DKM | FBK description logics reasoning instances distributed dkm https://semantic-web-journal.net/content/closer-look-semantic-relationship-between-datalog-and-description-logics A Closer Look at the Semantic Relationship between Datalog and Description Logics |... a closer look https://daselab.cs.ksu.edu/publications/data-complexity-instance-checking-el-family-description-logics Data Complexity of Instance Checking in the EL Family of Description Logics | Data Semantics Lab https://iris.uniupo.it/handle/11579/48957 Reasoning about typicality in preferential description logics: Preferential vs Rational entailment description logics reasoning preferential vs rational https://dkm.fbk.eu/publication/representing-mereological-relations-in-weighted-description-logics/ Representing Mereological Relations in Weighted Description Logics | DKM | FBK description logics representing relations weighted dkm https://www.cai.sk/ojs/index.php/cai/article/view/2017_6_1415 On the Satisfiability of Quasi-Classical Description Logics | Computing and Informatics on the description logics quasi