Combining description logics and Horn rules with uncertainty in ARTIGENCE

Knowledge-Based Systems

Volumn 24, Issue 5, 2011, Pages 595-608

  Zheng, Xiaoqing ^a  

^a FUDAN UNIVERSITY   (China)

Author keywords

Description logics; Horn rules; Logic programming; Semantic Web; Uncertainty

Indexed keywords

DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; EXPRESSIVE POWER; HORN RULES; KNOWLEDGE BASE; REALISTIC APPLICATIONS; REPRESENTATION LANGUAGES; THREE COMPONENT; UNCERTAINTY;

COMBINES; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGES; HYBRID SYSTEMS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; PROBABILISTIC LOGICS; SEMANTIC WEB; SEMANTICS;

DATA DESCRIPTION;

EID: 79955045618     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2011.01.006     Document Type: Article

References (26)

1. B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: combining logic programs with description logic, in: Proc. 13th Int. World Wide Web, 2003, pp. 48-57.
2. A.Y. Levy, and M.-C. Rousset Combining Horn rules and description logics in CARIN Artificial Intelligence 104 1998 165 209 (Pubitemid 128400989)
3. I. Horrocks, P.F. Patel-Schneider, and F.V. Harmelen From SHIQ and RDF to OWL: the making of a Web ontology language Journal of Web Semantics 1 1 2003 7 26 (Pubitemid 44914724)
4. I. Horrocks, P.F. Patel-Schneider, A proposal for an OWL rules language, in: Proc. 14th Int. World Wide Web, 2004, pp. 723-731. (Pubitemid 40752807)
5. H-J. Bürckert A resolution principle for constrained logics Artificial Intelligence 66 1994 235 271
6. M. Buchheit, F.M. Donini, and A. Schaerf Decidable reasoning in terminological knowledge representation systems Journal of Artificial Intelligence Research 1 1993 109 138
7. S. Ceri, G. Gottlob, and L. Tanca Logic Programming and Databases 1990 Springer-Verlag Berlin
8. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, The complexity of concept languages, in: Proc. 2nd Int. Principles of Knowledge Representation and Reasoning, 1991, pp. 151-162.
9. M. Schmidt-Schauß, and G. Smolka Attributive concept descriptions with complements Artificial Intelligence 48 1 1991 1 26
10. B. Motik, U. Sattler, R. Studer, Query answering for OWL-DL with rules, in: Proc. 5th Int. International Semantic Web Conference, 2004, pp. 549-563. (Pubitemid 39743907)
11. K.A. Andersen, and J.N. Hooker A linear programming framework for logics of uncertainty Decision Support Systems 16 1996 39 53 (Pubitemid 126349544)
12. M. Jaeger, Probabilistic reasoning in terminological logics, in: Proc. 4th Int. Principles of Knowledge Representation and Reasoning, 1994, pp. 305-316.
13. R. Giugno, T. Lukasiewicz, P-SHOQ (D ) : a probabilistic extension of SHOQ (D ) for probabilistic ontologies in the Semantic Web, in: Proc. 9th European Conference on Logics in Artificial Intelligence, 2002, pp. 86-97.
14. F.M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf AL-log: integrating datalog and description logics Journal of Intelligent Information Systems 10 1998 227 252
15. T. Lukasiewicz Probabilistic description logic programs International Journal of Approximate Reasoning 45 2 2006 288 307 (Pubitemid 46880199)
16. D. Poole The independent choice logic for modeling multiple agents under uncertainty Artificial Intelligence 94 1-2 1997 7 56 (Pubitemid 127371445)
17. G. Antoniou, G. Wagner, Rules and defeasible reasoning on the Semantic Web, in: Proc. 2nd Int. Rules and Rule Markup Languages for the Semantic Web, 2003.
18. H. Nottelmann, N. Fuhr, pDAML+OIL: a probabilistic extension to DAML + OIL based on probabilistic Datalog, in: Proc. 10th Int. Information Processing and Management of Uncertainty in Knowledge-based Systems, 2004.
19. D. Koller, A. Levy, A. Pfeffer, P-CLASSIC: a tractable probabilistic description logic, in: Proc. 4th National Conference on Artificial Intelligence, 1997, pp. 390-397.
20. T. Lukasiewicz, Probabilistic logic programming under inheritance with overriding, in: Proc. 17th Uncertainty in Artificial Intelligence, 2001, pp. 329-336.
21. T. Lukasiewicz Probabilistic default reasoning with conditional constraints Annals of Mathematics and Artificial Intelligence 34 1-3 2002 35 88 (Pubitemid 37133001)
22. U. Straccia Reasoning within fuzzy description logics Journal of Artificial Intelligence Research 14 2001 137 166
23. J.Z. Pan, G. Stoilos, G.B. Stamou, V. Tzouvaras, and I. Horrocks f-SWRL: a fuzzy extension of SWRL Journal of Data Semantics 6 2006 28 46 (Pubitemid 351150244)
24. T. Lukasiewicz, and U. Straccia Managing uncertainty and vagueness in description logics for the Semantic Web Journal of Web Semantics 6 4 2008 291 308
25. Q.L. Guo, and M. Zhang Question answering based on pervasive agent ontology and Semantic Web Knowledge-Based Systems 22 6 2009 443 448
26. P.F. Liu, B. Raahemi, and M. Benyoucef Knowledge sharing in dynamic virtual enterprises: a socio-technological perspective Knowledge-Based Systems 24 3 2011 427 443