Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning-Reference-Cited by-同舟云学术

Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning

Published:2006 Issue: Volume: Page:273-287
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Eiter Thomas,Ianni Giovambattista,Schindlauer Roman,Tompits Hans

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11762256_22.pdf

Reference25 articles.

1. Antoniou, G., Damásio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.F.: Combining Rules and Ontologies. A Survey. Technical Report IST506779/Linkoeping/I3-D3/D/PU/a1, Linköping University (2005)

2. Bonatti, P.A.: Reasoning with Infinite Stable Models. Artificial Intelligence 156(1), 75–111 (2004)

3. Cabibbo, L.: The Expressive Power of Stratified Logic Programs with Value Invention. Information and Computation 147(1), 22–56 (1998)

4. Lecture Notes in Computer Science;F. Calimeri,2005

5. Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Datalog and Description Logics. J. Intell. Inf. Syst. 10(3), 227–252 (1998)

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

1. Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL;Practical Aspects of Declarative Languages;2023

2. Semantic Technologies for Clinically Relevant Personal Health Applications;Cognitive Informatics in Biomedicine and Healthcare;2022

3. The Hexlite Solver;Logics in Artificial Intelligence;2019

4. A Semantic Web-Based Recommendation Framework of Educational Resources in E-Learning;Technology, Knowledge and Learning;2018-11-27

5. Applications of ASP in Robotics;KI - Künstliche Intelligenz;2018-06-08