Finite model reasoning in DL-Lite

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5021 LNCS, Issue , 2008, Pages 215-229

  Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL LINGUISTICS; DATA DESCRIPTION; DIFFRACTIVE OPTICAL ELEMENTS; FORMAL LOGIC; FUZZY LOGIC; INFORMATION THEORY; LINGUISTICS; ONTOLOGY; QUERY LANGUAGES; REAL TIME SYSTEMS; SEMANTIC WEB; WORLD WIDE WEB;

APPLICATION SCENARIOS; ARBITRARY MODELS; CARDINALITY; CLASSICAL SEMANTICS; COMPUTATIONAL PROPERTIES; CONJUNCTIVE QUERIES; DECIDING SATISFIABILITY; DESCRIPTION LOGIC (DL); DESCRIPTION LOGICS (DL); EUROPEAN; FINITE MODEL REASONING; FINITE MODELS; FIRST ORDER LOGIC (FOL); FORMAL SEMANTICS; HEIDELBERG (CO); LANGUAGES (TRADITIONAL); ONTOLOGY LANGUAGES; QUERY ANSWERING; REASONING PROBLEMS; SATISFIABILITY (QSAT); SPRINGER (CO);

SEMANTICS;

EID: 45749149143     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68234-9_18     Document Type: Conference Paper

References (12)

1. QuOnto web site, http://www.dis.uniroma1.it/∼quonto
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
3. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language reference. W3C Recommendation (February 2004), available at http://www.w3.org/TR/owl-ref/
4. Calvanese, D.: Finite model reasoning in description logics. In: Proc. of KR 1996, pp. 292-303 (1996)
5. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: MASTRO-I: Efficient integration of relational data through dl ontologies. In: Proceedings of the 2007 International Workshop on Description Logic (DL 2007). CEUR Electronic Workshop Proceedings (2007)
6. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in Description Logics: The DL-Lite family. J. of Automated Reasoning 39, 385-429 (2007)
7. Cosmadakis, S.S., Kanellakis, P.C., Vardi, M.: Polynomial-time implication problems for unary inclusion dependencies. J. of the ACM 37(1), 15-46 (1990)
8. Cuenca Grau, B.: Tractable fragments of the OWL 1.1 Web Ontology Language, http://www.cs.man.ac.uk/∼bcg/tractable.html
9. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 399-404 (2007)
10. Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. Information and Computation 199, 132-171 (2005)
11. Rosati, R.: On the decidability and finite controllability of query processing in databases with incomplete information. In: Proc. of PODS 2006, pp. 356-365 (2006)
12. Shadbolt, N., Hall, W., Berners-Lee, T.: The semantic web revisited. IEEE Intelligent Systems, 96-101 (May-June 2006)