An argumentation machinery to reason over inconsistent ontologies

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

Volumn 6433 LNAI, Issue , 2010, Pages 100-109

  Moguillansky, Martín O ^a   Wassermann, Renata ^b   Falappa, Marcelo A ^a  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ARGUMENTATION FRAMEWORKS; COMPUTATIONAL COSTS; DESCRIPTION LOGIC; SATISFIABILITY; DL-LITE;

ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; MACHINERY; PROGRAM DEBUGGING; COMPUTATION THEORY; ONTOLOGY;

ONTOLOGY; PROBLEM SOLVING;

EID: 78649997368     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16952-6_11     Document Type: Conference Paper

References (13)

1. Baader, F.: Terminological Cycles in a Description Logic with Existential Restrictions. In: IJCAI, pp. 325-330 (2003)
2. Baader, F., Calvanese, D.,McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook: Theory, Implementation and Application. Cambridge University Press, Cambridge (2003)
3. Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the Description Logic EL. In: Description Logics (2007)
4. Besnard, P., Hunter, A.: A Logic-based Theory of Deductive Arguments. Artif. Intell. 128 (1-2), 203-235 (2001)
5. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite family. JAR 39(3), 385-429 (2007) (Pubitemid 47340922)
6. Cecchi, L., Fillottrani, P., Simari, G.: On the complexity of DeLP through game semantics. In: NMR, pp. 386-394 (2006)
7. Dung, P.: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming and n-person Games. Artif. Intell. 77, 321-357 (1995)
8. Flouris, G., Huang, Z., Pan, J., Plexousakis, D., Wache, H.: Inconsistencies, Negations and Changes in Ontologies. In: AAAI, pp. 1295-1300 (2006)
9. García, A., Simari, G.: Defeasible Logic Programming: An Argumentative Approach. TPLP 4(1-2), 95-138 (2004)
10. Gómez, S., Chesñevar, C., Simari, G.: Reasoning with Inconsistent Ontologies through Argumentation. Applied Artificial Intelligence 24(1&2), 102-148 (2010)
11. Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding Maximally Satisfiable Terminologies for the Description Logic ALC. In: AAAI (2006)
12. Schlobach, S., Cornet, R.: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. In: IJCAI, pp. 355-362 (2003)
13. Zhang, X., Zhang, Z., Lin, Z.: An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC. In: Description Logics (2009)