Abstract
The classical free radical theory of ageing assumes that oxidative damage by reactive oxygen species (ROS) accumulates with age in a self-enhancing process. The theory has been confirmed by many experiments in various species. However, it is seriously challenged since several years. In this ambiguous situation, we collected and ordered existing knowledge, with a focus on the integration of conflicting findings.
We developed a specific method of knowledge base construction and give a first example of its application. Data reported in literature or generated by our experimental partners is formalized as Ripple Down Rules (RDR), a structure of general rules and exceptions. This rule set is validated and completed by the attribute exploration algorithm: Several, most specific RDR are accepted as background implications for an exploration starting from the examples collected during the RDR knowledge base growth.
The RDR classify biological cases, which are defined by attributes like organism, cell type or stimulation experiment. The classes are different and chosen according to leading questions. We focus on low/high ROS concentration in age and on lifespan. Implications with proper premises are suited for such disjoint basic sets of premises and conclusions. We implemented an easily understandable exploration algorithm in conexp-clj, furthermore an extension of this algorithm to incomplete counterexamples. The correctness and completeness of both algorithms is proven.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andreyev, A., Kushnareva, Y., Starkov, A.: Mitochondrial metabolism of reactive oxygen species. Biochemistry (Moscow) 70(2), 200–214 (2005)
Baader, F., Sertkaya, B.: Usability Issues in Description Logic Knowledge Base Completion. In: Ferré, S., Rudolph, S. (eds.) ICFCA 2009. LNCS, vol. 5548, pp. 1–21. Springer, Heidelberg (2009)
Bertet, K., Monjardet, B.: The multiple facets of the canonical direct unit implicational basis. Theoretical Computer Science 411(22-24), 2155–2166 (2010)
Borchmann, D.: conexp-clj – A General-Purpose Tool for Formal Concept Analysis, http://github.com/exot/conexp-clj
Burmeister, P.: Merkmalimplikationen bei unvollständigem Wissen. In: Proceedings: Arbeitstagung Begriffsanalyse und Künstliche Intelligenz 1988, pp. 15–46. Technische Universität Clausthal, Clausthal-Zellerfeld (1991)
Burmeister, P.: ConImp, http://www.mathematik.tu-darmstadt.de/~burmeister/
Compton, P., et al.: Ripple down rules: Turning knowledge acquisition into knowledge maintenance. Artificial Intelligence in Medicine 4(6), 463–475 (1992)
Ganter, B.: Pseudo-models and propositional Horn inference. Preprint (2003)
Ganter, B., Obiedkov, S.: Conceptual Exploration. Preprint, Dresden (2013)
Ganter, B., Wille, R.: Formal Concept Analysis – Mathematical Foundations. Springer, Heidelberg (1999)
Kirkwood, T., Kowald, A.: The free-radical theory of ageing – older, wiser and still alive. Bioessays (2012)
Kretzschmar, C., et al.: Influence of oxidative stress on hematopoietic cell aging in a mouse model with mitochondrial DNA mutations during aging. Ann. Hematol. 92(suppl. 1), S22 (2013)
Kretzschmar, C., et al.: Polymorphism nt7778g/t in Mitochondrial Atp8 Gene Promotes Protective Effect on Reactive Oxygen Species Level in Murine Hematopoietic Cells During Aging. Blood 122(21), 1196–1197 (2013)
Kwok, R.B.H.: Translations of Ripple Down Rules into logic formalisms. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 366–379. Springer, Heidelberg (2000)
Reichart, G., Mayer, J., Köhling, R.: Measurements of mitochondrial superoxide levels in the mouse brain hippocampus, Unpublished data, Oscar Langendorff Institute of Physiology, Rostock (2013)
Ryssel, U., Distel, F., Borchmann, D.: Fast algorithms for implication bases and attribute exploration using proper premises. Annals of Mathematics and Artificial Intelligence, 1–29 (2013)
Sohal, R., Orr, W.: The redox stress hypothesis of aging. Free Radical Biology and Medicine 52(3), 539–555 (2012)
Stumme, G.: Attribute Exploration with Background Implications and Exceptions. In: Bock, H.-H., Polasek, W. (eds.) Data Analysis and Information Systems, pp. 457–469. Springer (1996)
Yang, W., et al.: Age-dependent changes of the antioxidant system in rat liver are accompanied by altered MAPK activation and a decline in mTOR signaling, Tübingen (to be published, 2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Wollbold, J., Köhling, R., Borchmann, D. (2014). Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing. In: Glodeanu, C.V., Kaytoue, M., Sacarea, C. (eds) Formal Concept Analysis. ICFCA 2014. Lecture Notes in Computer Science(), vol 8478. Springer, Cham. https://doi.org/10.1007/978-3-319-07248-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-07248-7_19
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07247-0
Online ISBN: 978-3-319-07248-7
eBook Packages: Computer ScienceComputer Science (R0)