A finite basis for the set of εℒ-Implications holding in a finite model

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

Volumn 4933 LNAI, Issue , 2008, Pages 46-61

  Baader, Franz ^a   Distel, Felix ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; DATA DESCRIPTION; DATA STRUCTURES; FORMAL LOGIC; SET THEORY;

BINARY PREDICATES; DESCRIPTION LOGIC; EFFICIENT ALGORITHMS; FINITE MODELS; FINITE SETS; FORMAL CONCEPT ANALYSIS; FORMAL CONTEXTS; GENERAL FRAMEWORK; INTERNATIONAL CONFERENCES; RELATIONAL STRUCTURES;

MODAL ANALYSIS;

EID: 49949098541     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78137-0_4     Document Type: Conference Paper

References (24)

1. Baader, F.: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 319-324 (2003)
2. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 325-330 (2003)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the ε ℒ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJ-CAI 2005), Edinburgh (UK), pp. 364-369 (2005)
4. Baader, F., Distel, F.: A finite basis for the set of εℒ-implications holding in a finite model. LTCS-Report 07-02, Theoretical Computer Science, TU Dresden, Germany (2007), http://lat.inf.tu- dresden.de/research/reports.html
5. Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL - a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 287-291. Springer, Heidelberg (2006)
6. Ferré, S.: Systèmes d'information logiques: un paradigme logico-contextuel pour interroger, naviguer et apprendre. PhD thesis, IRISA, France (2002)
7. Ferré, S., Ridoux, O.: Introduction to logical information systems. Information Processing & Management 40(3), 383-419 (2004)
8. Ganter, B.: Algorithmen zur Formalen Begriffsanalyse. In: Ganter, B., Wille, R., Wolff, K.E. (eds.) Beiträge zur Begriffsanalyse, pp. 241-254. B.I. Wissenschaftsverlag (1987)
9. Ganter, B.: Attribute exploration with background knowledge. Theoretical Computer Science 217(2), 215-233 (1999)
10. Ganter, B., Kuznetsov, S.O.: Pattern structures and their projections. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 129-144. Springer, Heidelberg (2001)
11. Ganter, B., Wille, R.: Implikationen und Abhängigkeiten zwischen Merkmalen. In: Degens, P.O., Hermes, H.-J., Opitz, O. (eds.) Die Klassifikation und ihr Umfeld, Indeks-Verlag, Frankfurt (1986)
12. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1997)
13. Guigues, J.-L., Duquenne, V.: Familles minimales d'implications informatives résultant d'un tableau de données binaires. Math. Sci. Humaines 95, 5-18 (1986)
14. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7-26 (2003)
15. Möller, R., Haarslev, V.: Description logic systems. In: Baader, F., et al. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 282-305. Cambridge University Press, Cambridge (2003)
16. Prediger, S.: Logical scaling in formal concept analysis. In: Delugach, H.S., et al. (eds.) ICCS 1997. LNCS, vol. 1257, pp. 332-341. Springer, Heidelberg (1997)
17. Prediger, S.: Terminologische Merkmalslogik in der Formalen Begriffsanalyse. In: Stumme, G., Wille, R. (eds.) Begriffliche Wissensverarbeitung: Methoden und Anwendungen, pp. 99-124. Springer, Heidelberg (1999)
18. Prediger, S., Wille, R.: The lattice of concept graphs of a relationally scaled context. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS, vol. 1640, pp. 401-414. Springer, Heidelberg (1999)
19. Priss, U.: The formalization of WordNet by methods of relational concept analysis. In: Fellbaum, C. (ed.) WordNet: An Electronic Lexical Database and some of its applications, MIT Press, Cambridge (1998)
20. 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)
21. Rudolph, S.: Relational Exploration: Combining Description Logics and Formal Concept Analysis for Knowledge Specification. PhD thesis, Technische Universität Dresden (2006)
22. Spackman, K.A., Campbell, K.E., Cote, R.A.: SNOMED RT: A reference terminology for health care. J. of the American Medical Informatics Association, Fall Symposium Supplement, 640-644 (1997)
23. The Gene Ontology Consortium. Gene Ontology: Tool for the unification of biology. Nature Genetics 25, 25-29 (2000)
24. Wille, R.: Conceptual graphs and formal concept analysis. In: Delugach, H.S., et al. (eds.) ICCS 1997. LNCS, vol. 1257, pp. 290-303. Springer, Heidelberg (1997)