On higher-order description logics

CEUR Workshop Proceedings

Volumn 477, Issue , 2009, Pages

  De Giacomo, Giuseppe ^a   Lenzerini, Maurizio ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; EXPRESSIVE POWER; LANGUAGE CONSTRUCTORS; METAMODELING; MODELING REQUIREMENTS; REASONING TASKS;

FORMAL LANGUAGES; SEMANTICS;

DATA DESCRIPTION;

EID: 84872947540     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. F. Angiulli, R. Ben-Eliyahu-Zohary, G. Ianni, and L. Palopoli. Computational properties of metaquerying problems. ACM Trans. on Computational Logic, 4(2):149-180, 2003.
2. G. Attardi and M. Simi. Consistency and completeness of OMEGA, a logic for knowledge representation. In Proc. of the 7th Int. Joint Conf. on Artificial Intelligence (IJCAI'81), pages 504-510, 1981.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
4. L. Badea. Reifying concepts in description logics. In Proc. of the 15th Int. Joint Conf. on Artificial Intelligence (IJCAI'97), pages 142-147, 1997.
5. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385-429, 2007.
6. D. Calvanese, G. De Giacomo, and M. Lenzerini. Conjunctive query containment and answering under description logics constraints. ACM Trans. on Computational Logic, 9(3):22.1-22.31, 2008.
7. W. Chen, M. Kifer, and D. S.Warren. HILOG: A foundation for higher-order logic programming. J. of Logic Programming, 15(3):187-230, 1993.
8. G. De Giacomo, M. Lenzerini, and R. Rosati. Towards higher-order DL-Lite. In Proc. of the 2008 Description Logic Workshop (DL 2008), volume 353 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/2008.
9. B. Glimm, I. Horrocks, C. Lutz, and U. Sattler. Conjunctive query answering for the description logic SHIQ. In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pages 399-404, 2007.
10. F. Lehmann, editor. Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford (United Kingdom), 1992.
11. B. Motik. On the properties of metamodeling in OWL. J. of Logic and Computation, 17(4):617-637, 2007.
12. J. Mylopoulos, P. A. Bernstein, and H. K. T. Wong. A language facility for designing database-intensive applications. ACM Trans. on Database Systems, 5(2):185-207, 1980.
13. M. Ortiz, D. Calvanese, and T. Eiter. Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning, 41(1):61-98, 2008.
14. J. Z. Pan and I. Horrocks. OWL FA: a metamodeling extension of OWL DL. In Proc. of the 15th Int. World Wide Web Conf. (WWW 2006), pages 1065-1066, 2006.