{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:42:43Z","timestamp":1725565363399},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223924"},{"type":"electronic","value":"9783540277699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27769-9_13","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T19:40:20Z","timestamp":1284579620000},"page":"196-212","source":"Crossref","is-referenced-by-count":28,"title":["Exploring Relational Structures Via ${\\mathcal{F\\!LE}}$"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Rudolph","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Baader, F.: Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology. In: Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 1995, Santa Cruz, USA (1995)"},{"key":"13_CR2","volume-title":"The Description Logic Handbook: Theory, Practice, and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F.: The Description Logic Handbook: Theory, Practice, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Logic Programming\u00a03, 267\u2013284 (1984)","journal-title":"J. Logic Programming"},{"key":"13_CR5","unstructured":"Ganter, B.: Two basic algorithms in concept analysis. FB4-Preprint No 831, TH Darmstadt (1984)"},{"key":"13_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)"},{"key":"13_CR7","volume-title":"Conceptual Structures: Broadening the Base","author":"B. Ganter","year":"2001","unstructured":"Ganter, B., Rudolph, S.: Formal Concept Analysis Methods for Dynamic Conceptual Graphs. In: Delugach, H.S., Stumme, G. (eds.) Conceptual Structures: Broadening the Base, Springer, Heidelberg (2001)"},{"key":"13_CR8","unstructured":"Guigues, J.-L., Duquenne, V.: Familles minimales d\u2019implications informatives resultant d\u2019un tableaux de donn\u00e9s binaires. Math. Sci. Humaines\u00a095 (1986)"},{"key":"13_CR9","unstructured":"Horrocks, I. et al.: The Ontology Inference Layer OIL, \n                    \n                      http:\/\/www.ontoknowledge.org\/oil\/papers.shtml"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science (LNAI)","doi-asserted-by":"publisher","DOI":"10.1007\/10721959_39","volume-title":"Automated Deduction - CADE-17","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: McAllester, D. (ed.) CADE 2000. Lecture Notes in Computer Science (LNAI), vol.\u00a01831, Springer, Heidelberg (2000)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science (LNAI)","doi-asserted-by":"publisher","DOI":"10.1007\/10722086_6","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I.: Benchmark analysis with fact. In: Dyckhoff, R. (ed.) TABLEAUX 2000. Lecture Notes in Computer Science (LNAI), vol.\u00a01847, Springer, Heidelberg (2000)"},{"key":"13_CR12","volume-title":"Begriffliche Wissensverarbeitung: Methoden und Anwendungen","author":"S. Prediger","year":"2000","unstructured":"Prediger, S.: Terminologische Merkmalslogik in der Formalen Begriffsanalyse. In: Stumme, G., Wille, R. (eds.) Begriffliche Wissensverarbeitung: Methoden und Anwendungen, Springer, Heidelberg (2000)"},{"key":"13_CR13","volume-title":"Using Conceptual Structures: Contributions to ICCS 2003","author":"S. Rudolph","year":"2003","unstructured":"Rudolph, S.: An FCA Method for the Extensional Exploration of Relational Data. In: de Moor, A., Ganter, B. (eds.) Using Conceptual Structures: Contributions to ICCS 2003, Shaker Verlag, Aachen (2003)"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048, 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science (LNAI)","doi-asserted-by":"publisher","DOI":"10.1007\/10722280_5","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"J. Sowa","year":"2000","unstructured":"Sowa, J.: Ontology, Metadata, and Semiotics. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. Lecture Notes in Computer Science (LNAI), vol.\u00a01867, Springer, Heidelberg (2000)"},{"key":"13_CR16","volume-title":"Conceptual Structures: Fulfilling Peirce\u2019s Dream","author":"R. Wille","year":"1997","unstructured":"Wille, R.: Conceptual Graphs and Formal Concept Analysis. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds.) Conceptual Structures: Fulfilling Peirce\u2019s Dream, Springer, Heidelberg (1997)"},{"key":"13_CR17","unstructured":"Zickwolff, M.: Rule Exploration: First Order Logic in Formal Concept Analysis, PhD thesis, TH Darmstadt (1991)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures at Work"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27769-9_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:23:39Z","timestamp":1620012219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27769-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223924","9783540277699"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27769-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}