Tableau-based forgetting in ℒ ontologies

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 47-52

  Wang, Zhe ^a   Wang, Kewen ^a   Topor, Rodney ^a   Zhang, Xiaowang ^b  

^a GRIFFITH UNIVERSITY   (Australia)

^b PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATA DESCRIPTION;

DECISION ALGORITHMS; DESCRIPTION LOGIC; INCREMENTAL METHOD; NEW APPROACHES; ONTOLOGY'S; OPTIMIZATION TECHNIQUES; ROLLING UP; STRUCTURAL INFORMATION; TABLEAU ALGORITHM; VARIABLE SUBSTITUTION;

ONTOLOGY;

EID: 77956032516     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-47     Document Type: Conference Paper

References (15)

1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel- Schneider, eds. The Description Logic Handbook. (2003).
2. F. M. Donini, S. Colucci, T. Di Noia, and E. Di Sciascio, 'A tableauxbased method for computing least common subsumers for expressive description logics', in Proc. 21st IJCAI, pp. 739-745, (2009).
3. M. Dzbor, E. Motta, C. Buil, J. M. Gomez, O. Görlitz, and H. Lewen, 'Developing ontologies in OWL: an observational study', in Proc. Workshop on OWL: Experiences and Directions, (2006).
4. T. Eiter and K.Wang, 'Semantic forgetting in answer set programming', Artificial Intelligence, 14, 1644-1672, (2008).
5. B. Konev, F. Wolter, and M. Zakharyaschev, 'Forgetting and uniform interpolation in large-scale description logic terminologies', in Proc. 20th IJCAI, pp. 830-835, (2009).
6. R. Kontchakov, F. Wolter, and M. Zakharyaschev, 'Can you tell the difference between DL-Lite ontologies?', in Proc. 11th KR, pp. 285-295, (2008).
7. J. Lang, P. Liberatore, and P. Marquis, 'Propositional independence: Formula-variable independence and forgetting.', J. Artif. Intell. Res., 18, 391-443, (2003).
8. F. Lin and R. Reiter, 'Forget it', in Proc. AAAI Fall Symposium on Relevance, pp. 154-159. New Orleans (LA), (1994).
9. B. ten Cate, W. Conradie, M. Marx, and Y. Venema, 'Definitorially complete description logics', in Proc. 10th KR, pp. 79-89, (2006).
10. D. Tsarkov, I. Horrocks, and P. F. Patel-Schneider, 'Optimizing terminological reasoning for expressive description logics', J. Autom. Reasoning, 39(3), 277-316, (2007).
11. Albert Visser, 'Uniform interpolation and layered bisimulation', in Proc. Gödel'96, pp. 139-164, (1996).
12. Z. Wang, K. Wang, R. Topor, and J. Z. Pan, 'Forgetting concepts in DL-Lite', in Proc. 5th ESWC, pp. 245-257, (2008).
13. K. Wang, Z. Wang, R. Topor, J. Z. Pan, and G. Antoniou, 'Concept and role forgetting in ALC-ontologies', in Proc. 8th ISWC, pp. 666-681, (2009).
14. 'Prot́eǵe', http://protege.stanford.edu, (2010).
15. 'SNOMED CT', http://www.fmrc.org.au/snomed/, (2007).