Wheat and chaff - Practically feasible interactive ontology revision

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

Volumn 7031 LNCS, Issue PART 1, 2011, Pages 487-503

  Nikitina, Nadeschda ^a   Glimm, Birte ^b   Rudolph, Sebastian ^a  

^a KARLSRUHE INSTITUTE OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED REASONING; AUTOMATIC DECISION; COMPUTATION TIME; COMPUTATIONAL EFFORT; DATA SETS; INSPECTION PROCESS; MANUAL INSPECTION; ONTOLOGY REVISION; PARAMETERIZED; PARTITIONING TECHNIQUES; RANKING FUNCTIONS; RANKING STRATEGY; RANKING TECHNIQUE; WORST CASE;

AUTOMATA THEORY; FUNCTION EVALUATION; INFORMATION RETRIEVAL; ONTOLOGY; OPTIMIZATION; SEMANTIC WEB; SEMANTICS; STATISTICAL TESTS; USER INTERFACES;

QUALITY CONTROL;

EID: 80055053495     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25073-6_31     Document Type: Conference Paper

References (11)

1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510-530 (1985)
2. Baader, F., Ganter, B., Sertkaya, B., Sattler, U.: Completing description logic knowledge bases using formal concept analysis. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 230-235 (2007)
3. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1997)
4. Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Llavori, R.B.: Building ontologies collaboratively using ContentCVS. In: Proceedings of the 22nd International Workshop on Description Logics (DL 2009). CEUR Workshop Proceedings, vol. 477. CEUR-WS.org (2009)
5. Jiménez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Ontology integration using mappings: Towards getting the right logical consequences. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 173-187. Springer, Heidelberg (2009)
6. Konev, B., Lutz, C., Ponomaryov, D., Wolter, F.: Decomposing description logic ontologies. In: Proceedings of the 12th International Confonference on Principles of Knowledge Representation and Reasoning, KR 2010 (2010)
7. Meilicke, C., Stuckenschmidt, H., Tamilin, A.: Supporting manual mapping revision using logical reasoning. In: Proceedings of the 23rd Conference on Artificial Intelligence (AAAI 2008), pp. 1213-1218. AAAI Press (2008)
8. Nikitina, N., Rudolph, S.,Glimm, B.: Reasoning-supported interactive revision of knowledge bases. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (2011)
9. Rudolph, S.: Exploring Relational Structures Via FLE. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol. 3127, pp. 196-212. Springer, Heidelberg (2004)
10. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 355-362. Morgan Kaufmann (2003)
11. W3C OWL Working Group: OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (October 2009), http://www.w3.org/TR/owl2-overview/