A Bayesian Extension of the Description Logic $$\mathcal {ALC}$$-Reference-Cited by-同舟云学术

A Bayesian Extension of the Description Logic $$\mathcal {ALC}$$

Published:2019 Issue: Volume: Page:339-354
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Botha Leonard^ORCID,Meyer Thomas^ORCID,Peñaloza Rafael^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-19570-0_22

Reference21 articles.

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)

2. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149–180 (1995). https://doi.org/10.1007/BF00883932

3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2007

4. Baader, F., Peñaloza, R.: Axiom pinpointing in general tableaux. J. Logic Comput. 20(1), 5–34 (2010). https://doi.org/10.1093/logcom/exn058 . Special issue: Tableaux and analytic proof methods

5. Botha, L.: The Bayesian description logic ALC. Master’s thesis, University of Cape Town, South Africa (2018)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics;Algorithms;2021-09-28

2. The Probabilistic Description Logic;Theory and Practice of Logic Programming;2020-12-11

3. Introduction to Probabilistic Ontologies;Reasoning Web. Declarative Artificial Intelligence;2020

4. Explaining Axiom Pinpointing;Lecture Notes in Computer Science;2019