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]
|