A Query Tool for $\mathcal{EL}$ with Non-monotonic Rules-Reference-Cited by-同舟云学术

A Query Tool for $\mathcal{EL}$ with Non-monotonic Rules

Published:2013 Issue: Volume: Page:216-231
ISSN:0302-9743
Container-title:Advanced Information Systems Engineering
language:
Short-container-title:

Author:

Ivanov Vadim,Knorr Matthias,Leite João

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-41335-3_14

Reference26 articles.

1. Lecture Notes in Computer Science;J.J. Alferes,2009

2. Alferes, J.J., Knorr, M., Swift, T.: Query-driven procedures for hybrid MKNF knowledge bases. ACM Trans. Comput. Log. 14(2), 1–43 (2013)

3. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. (JAIR) 36, 1–69 (2009)

4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 3rd edn. Cambridge University Press (2010)

5. Baader, F., Brandt, S., Lutz, C.: Pushing the el envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 364–369. Professional Book Center (2005)

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

1. On Combining Ontologies and Rules;Reasoning Web. Declarative Artificial Intelligence;2022

2. NoHR: An Overview;KI - Künstliche Intelligenz;2020-03-04

3. A polynomial Time Subsumption Algorithm for Nominal SafeELO⊥under Rational Closure;Information Sciences;2019-10

4. Telco Network Inventory Validation with NoHR;Logic Programming and Nonmonotonic Reasoning;2019

5. Iterative Variable Elimination in ASP;Progress in Artificial Intelligence;2017