Explaining reasoning in description logics release_bua7b25b3jc7bfadw5xq46fvaq

by Deborah L. McGuinness

Cited By

References to this release by other works.
Fuzzy reference matching is a work in progress!
Read more about quality, completeness, and caveats in the fatcat guide.
Showing 1 - 18 of 18 references (in 239ms)

via crossref
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures [chapter]
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021   Lecture Notes in Computer Science
doi:10.1007/978-3-030-79876-5_17 

via grobid
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report) [article]
Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova
2021    pre-print
version:v1  arXiv:2104.13138v1 
web.archive.org [PDF]

via grobid
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report) [article]
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020    pre-print
version:v2  arXiv:2004.08311v2 
web.archive.org [PDF]

via fuzzy
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality [chapter]
Ronald J. Brachman, Alex Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider
2009   Lecture Notes in Computer Science
doi:10.1007/978-3-642-02463-4_23 
web.archive.org [PDF]

via fuzzy
Proof explanation for a nonmonotonic Semantic Web rules language
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas Kazepis (+ more)
2008   Data & Knowledge Engineering
doi:10.1016/j.datak.2007.10.006 

via fuzzy
Using Patterns to Explain Inferences in
Xi Deng, Volker Haarslev, Nematollaah Shiri
2007   Computational intelligence
doi:10.1111/j.1467-8640.2007.00310.x 
web.archive.org [PDF]

via fuzzy
Ontology Performance Profiling and Model Examination: First Steps [chapter]
Taowei David Wang, Bijan Parsia
2007   Lecture Notes in Computer Science
doi:10.1007/978-3-540-76298-0_43 
web.archive.org [PDF]

via fuzzy
Applications of Description Logics: State of the Art and Research Challenges [chapter]
Ian Horrocks
2005   Lecture Notes in Computer Science
doi:10.1007/11524564_5 
web.archive.org [PDF]

via fuzzy
Description Logics in Ontology Applications [chapter]
Ian Horrocks
2005   Lecture Notes in Computer Science
doi:10.1007/11551263_2 
web.archive.org [PDF]

via fuzzy
Debugging OWL ontologies
Bijan Parsia, Evren Sirin, Aditya Kalyanpur
2005   The Web Conference
doi:10.1145/1060745.1060837  dblp:conf/www/ParsiaSK05 
web.archive.org [PDF]

via fuzzy
Explaining Answers from the Semantic Web: The Inference Web Approach
Deborah McGuinness, Paulo Pinheiro da Silva
2004   Social Science Research Network
doi:10.2139/ssrn.3199032 
web.archive.org [PDF]

via fuzzy
Explaining answers from the Semantic Web: the Inference Web approach
Deborah L. McGuinness, Paulo Pinheiro da Silva
2004   Journal of Web Semantics
doi:10.1016/j.websem.2004.06.002 
web.archive.org [PDF]

via fuzzy
Ontology-Based Query and Answering in Chemistry: OntoNova Project Halo [chapter]
Jürgen Angele, Eddie Moench, Henrik Oppermann, Steffen Staab, D. Wenke
2003   Lecture Notes in Computer Science
doi:10.1007/978-3-540-39718-2_58 
web.archive.org [PDF]

via fuzzy
Infrastructure for Web Explanations [chapter]
Deborah L. McGuinness, Paulo Pinheiro da Silva
2003   Lecture Notes in Computer Science
doi:10.1007/978-3-540-39718-2_8 
web.archive.org [PDF]

via fuzzy
Conceptual Modeling for Distributed Ontology Environments [chapter]
Deborah L. McGuinness
2000   Lecture Notes in Computer Science
doi:10.1007/10722280_7 

via fuzzy
Matching in description logics: Preliminary results [chapter]
Franz Baader, Alex Borgida, Deborah L. McGuinness
1998   Lecture Notes in Computer Science
doi:10.1007/bfb0054902 
web.archive.org [PDF]

via grobid
Finding Small Proofs for Description Logic Entailments: Theory and Practice
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova  unpublished
doi:10.29007/nhpp 
web.archive.org [PDF]

via fuzzy
Adicionando temporalidade à linguagem OWL 2 : um estudo a partir da linguagem tOWL e sua decibilidade [thesis]
Déborah Mendes Ferreira
doi:10.26512/2016.03.d.20558 
web.archive.org [PDF]