<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main"></title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">63E959D058142A5B60DC3D9234A87C3B</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-25T05:37+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<abstract/>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body>
<div xmlns="http://www.tei-c.org/ns/1.0"><head>Preface</head><p>The four preceding editions of the FCA4AI Workshop showed that many researchers working in Artificial Intelligence are deeply interested by a well-founded method for classification and mining such as Formal Concept Analysis (see http://www.fca4ai.hse.ru/). The first edition of FCA4AI was co-located with ECAI 2012 in Montpellier, the second one with IJCAI 2013 in Beijing, the third one with ECAI 2014 in Prague, and finally the forth and last one with IJCAI 2015 in Buenos Aires. In addition, all the proceedings of these preceding editions have been published as CEUR Proceedings (http://ceur-ws.org/Vol-939/, http://ceur-ws.org/Vol-1058/, http://ceur-ws.org/Vol-1257/ and http://ceur-ws. org/Vol-1430/).</p><p>This year, the fifth workshop has again attracted many different researchers working on actual and important topics, e.g. theory, fuzzy FCA, dependencies, classification, mining of linked data, navigation, visualization, and various applications. This shows the diversity and the richness of the relations between FCA and AI.</p><p>Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge discovery, learning, knowledge representation, reasoning, ontology engineering, as well as information retrieval and text processing. As we can see, there are many "natural links" between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, both from the data analysis and knowledge discovery points of view and as well from the knowledge representation point of view, including, e.g., ontology engineering. All these investigations provide new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we are interested in two main issues:</p><p>• How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, and information retrieval.</p><p>• How can FCA be extended in order to help AI researchers to solve new and complex problems in their domains.</p><p>The workshop is dedicated to discuss such issues. This year, the papers submitted to the workshop were carefully peer-reviewed by three members of the program committee and 14 papers with the highest scores were selected. We thank all the PC members for their reviews and all the authors for their contributions. </p></div><figure xmlns="http://www.tei-c.org/ns/1.0" type="table" xml:id="tab_0"><head></head><label></label><figDesc>Christel Vrain . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 Axiomatization of General Concept Inclusions from Streams of Interpretations with optional Error Tolerance Francesco Kriegel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3 Towards a sequent calculus for formal contexts Ondrej Kridlo and Manuel Ojeda-Aciego . . . . . . . . . . . . . . . . . . . . . . . . . . 17 4 Morphisms Between Pattern Structures and Their Impact on Concept Lattices Lars Lumpe and Stefan E. Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 5 A Reachability-based Navigation Paradigm for Triadic Concepts Diana Troancă . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 6 FCA Tools Bundle -a Tool that Enables Dyadic and Triadic Conceptual Navigation Levente Lorand Kis, Christian Săcareă, and Diana Troancă . . . . . . . . . . . . . . . 43 7 Steps Towards Interactive Formal Concept Analysis with LatViz Mehwish Alam, Thi Nhu Nguyen Le, and Amedeo Napoli . . . . . . . . . . . . . . . . 51 8 Linked Data Querying through FCA-based Schema Indexing Dominik Brosius and Steffen Staab . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 9 Contribution to the Classification of Web of Data based on Formal Concept Analysis Justine Reynaud, Yannick Toussaint, and Amedeo Napoli . . . . . . . . . . . . . . . . 69 New taxonomy of classification methods based on Formal Concepts Analysis Marwa Trabelsi, Nida Meddouri, and Mondher Maddouri . . . . . . . . . . . . . . . . 113 15 Characterization of Order-like Dependencies with Formal Concept Analysis Victor Codocedo, Jaume Baixeries, Mehdi Kaytoue, and Amedeo Napoli . . . . . . . . 121 16 A Hybrid Approach for Mining Metabolomic Data Dhouha Grissa, Blandine Comte, Estelle Pujos-Guillot, and Amedeo Napoli . . . . . . 129</figDesc><table><row><cell cols="2">Contents</cell></row><row><cell>1</cell><cell>Constraint Programming for Constrained Clustering (Invited Talk)</cell></row><row><cell>10</cell><cell>From a possibility theory view of formal concept analysis to the possibilistic handling</cell></row><row><cell></cell><cell>of incomplete and uncertain contexts</cell></row><row><cell></cell><cell>Zina Ait-Yakoub, Yassine Djouadi, Didier Dubois, and Henri Prade . . . . . . . . . . . 79</cell></row><row><cell>11</cell><cell>How Fuzzy FCA and Pattern Structures are connected?</cell></row><row><cell></cell><cell>The Workshop Chairs</cell></row><row><cell></cell><cell>Sergei O. Kuznetsov</cell></row><row><cell></cell><cell>National Research University Higher School of Economics, Moscow, Russia</cell></row><row><cell></cell><cell>Amedeo Napoli</cell></row><row><cell></cell><cell>LORIA (CNRS -Inria Nancy Grand Est -Université de Lorraine), Vandoeuvre les Nancy,</cell></row><row><cell></cell><cell>France</cell></row><row><cell></cell><cell>Sebastian Rudolph</cell></row><row><cell></cell><cell>Technische Universität Dresden, Germany</cell></row><row><cell></cell><cell>5</cell></row></table><note>Aleksey Buzmakov and Amedeo Napoli . . . . . . . . . . . . . . . . . . . . . . . . . . 87 12 A tool for classification of sequential data Giacomo Kahn, Yannick Loiseau, and Olivier Raynaud . . . . . . . . . . . . . . . . . . 97 13 Interval Pattern Concept Lattice as a Classifier Ensemble Yury Kashnitsky and Sergei O. Kuznetsov . . . . . . . . . . . . . . . . . . . . . . . . . 105 14</note></figure>
		</body>
		<back>
			<div type="references">

				<listBibl>

<biblStruct xml:id="b0">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Gabriela</forename><surname>Arevalo</surname></persName>
		</author>
		<imprint>
			<pubPlace>, Argentina</pubPlace>
		</imprint>
		<respStmt>
			<orgName>Universidad Nacional de Quilmes</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b1">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Jaume</forename><surname>Baixeries</surname></persName>
		</author>
		<imprint>
			<publisher>UPC</publisher>
			<pubPlace>Barcelona, Catalunya</pubPlace>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b2">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Karell</forename><surname>Bertet</surname></persName>
		</author>
		<imprint>
			<pubPlace>France, Germany</pubPlace>
		</imprint>
		<respStmt>
			<orgName>Université de La Rochelle</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b3">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Aleksey</forename><surname>Buzmakov</surname></persName>
		</author>
		<imprint/>
		<respStmt>
			<orgName>National Research University HSE Perm, Russia</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b4">
	<monogr>
		<title/>
		<author>
			<persName><surname>Mathieu D'aquin</surname></persName>
		</author>
		<imprint>
			<pubPlace>UK</pubPlace>
		</imprint>
		<respStmt>
			<orgName>Open University</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b5">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Florent</forename><surname>Domenach</surname></persName>
		</author>
		<imprint>
			<pubPlace>Cyprus</pubPlace>
		</imprint>
		<respStmt>
			<orgName>University of Nicosia</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b6">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Sébastien</forename><surname>Ferré</surname></persName>
		</author>
		<imprint>
			<pubPlace>Rennes, France</pubPlace>
		</imprint>
	</monogr>
	<note type="report_type">IRISA</note>
</biblStruct>

<biblStruct xml:id="b7">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Marianne</forename><surname>Huchard</surname></persName>
		</author>
		<imprint>
			<pubPlace>France</pubPlace>
		</imprint>
		<respStmt>
			<orgName>LIRMM/Université de Montpellier</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b8">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">I</forename><surname>Dmitry</surname></persName>
		</author>
		<author>
			<persName><surname>Ignatov</surname></persName>
		</author>
		<imprint>
			<pubPlace>Moscow, Russia</pubPlace>
		</imprint>
		<respStmt>
			<orgName>National Research University HSE Moscow</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b9">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Yuri</forename><surname>Kashnitsky</surname></persName>
		</author>
		<imprint>
			<pubPlace>Russia</pubPlace>
		</imprint>
		<respStmt>
			<orgName>National Research University HSE Moscow</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b10">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Mehdi</forename><surname>Kaytoue</surname></persName>
		</author>
		<imprint>
			<pubPlace>France</pubPlace>
		</imprint>
		<respStmt>
			<orgName>INSA-LIRIS Lyon</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b11">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Jan</forename><surname>Konecny</surname></persName>
		</author>
		<imprint>
			<pubPlace>Olomouc, Czech Republic</pubPlace>
		</imprint>
		<respStmt>
			<orgName>Palacky University</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b12">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Florence</forename><surname>Le</surname></persName>
		</author>
		<author>
			<persName><forename type="first">Ber</forename></persName>
		</author>
		<imprint>
			<pubPlace>France</pubPlace>
		</imprint>
		<respStmt>
			<orgName>ENGEES/Université de Strasbourg</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b13">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Nizar</forename><surname>Messai</surname></persName>
		</author>
		<imprint>
			<pubPlace>France</pubPlace>
		</imprint>
		<respStmt>
			<orgName>Université de Tours</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b14">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Sergei</forename><forename type="middle">A</forename><surname>Obiedkov</surname></persName>
		</author>
		<imprint>
			<pubPlace>Moscow, Russia</pubPlace>
		</imprint>
		<respStmt>
			<orgName>NRU Higher School of Economics</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b15">
	<monogr>
		<title level="m">Jan Outrata</title>
				<meeting><address><addrLine>Olomouc, Czech Republic</addrLine></address></meeting>
		<imprint/>
		<respStmt>
			<orgName>Palacky University</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b16">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Jean-Marc</forename><surname>Petit</surname></persName>
		</author>
		<imprint>
			<publisher>INSA-LIRIS Lyon</publisher>
			<pubPlace>France</pubPlace>
		</imprint>
	</monogr>
</biblStruct>

<biblStruct xml:id="b17">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Uta</forename><surname>Priss</surname></persName>
		</author>
		<imprint>
			<pubPlace>Wolfenbüttel, Germany</pubPlace>
		</imprint>
		<respStmt>
			<orgName>Ostfalia University of Applied Sciences</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b18">
	<monogr>
		<title level="m">Christian Săcărea</title>
				<meeting><address><addrLine>Cluj-Napoca, Romania</addrLine></address></meeting>
		<imprint/>
		<respStmt>
			<orgName>Babes-Bolyai University</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b19">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Baris</forename><surname>Sertkaya</surname></persName>
		</author>
		<imprint>
			<pubPlace>Germany</pubPlace>
		</imprint>
		<respStmt>
			<orgName>Frankfurt University of Applied Sciences</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b20">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Diana</forename><surname>Troancă</surname></persName>
		</author>
		<imprint>
			<pubPlace>Cluj-Napoca, Romania</pubPlace>
		</imprint>
		<respStmt>
			<orgName>Babes-Bolyai University</orgName>
		</respStmt>
	</monogr>
</biblStruct>

<biblStruct xml:id="b21">
	<monogr>
		<title/>
		<author>
			<persName><forename type="first">Renato</forename><surname>Vimiero</surname></persName>
		</author>
		<imprint>
			<pubPlace>UFPE Recife, Brazil</pubPlace>
		</imprint>
	</monogr>
</biblStruct>

				</listBibl>
			</div>
		</back>
	</text>
</TEI>
