{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:41Z","timestamp":1740099041697,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319781013"},{"type":"electronic","value":"9783319781020"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-78102-0_1","type":"book-chapter","created":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T01:18:03Z","timestamp":1521508683000},"page":"3-28","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Exploring, Reasoning with and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2094-7456","authenticated-orcid":false,"given":"Simon","family":"Andrews","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2961-6207","authenticated-orcid":false,"given":"Simon","family":"Polovina","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,21]]},"reference":[{"key":"1_CR1","unstructured":"Charger - a conceptual graph editor. http:\/\/charger.sourceforge.net\/ . Accessed 02 Jan 2018"},{"key":"1_CR2","unstructured":"Cogui. http:\/\/www.lirmm.fr\/cogui\/ . Accessed 02 Jan 2018"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-22688-5_4","volume-title":"Conceptual Structures for Discovering Knowledge","author":"S Andrews","year":"2011","unstructured":"Andrews, S.: In-Close2, a high performance formal concept miner. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds.) ICCS 2011. LNCS (LNAI), vol. 6828, pp. 50\u201362. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22688-5_4"},{"key":"1_CR4","unstructured":"Andrews, S., Hirsch, L.: A tool for creating and visualising formal concept trees. In: CEUR Workshop Proceedings, vol. 1637, pp. 1\u20139 (2016)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-22688-5_5","volume-title":"Conceptual Structures for Discovering Knowledge","author":"S Andrews","year":"2011","unstructured":"Andrews, S., Polovina, S.: A mapping from conceptual graphs to formal concept analysis. In: Andrews, S., Polovina, S., Hill, R., Akhgar, B. (eds.) ICCS 2011. LNCS (LNAI), vol. 6828, pp. 63\u201376. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22688-5_5"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-78137-0_4","volume-title":"Formal Concept Analysis","author":"F Baader","year":"2008","unstructured":"Baader, F., Distel, F.: A finite basis for the set of $$\\cal{EL}$$ -implications holding in a finite model. In: Medina, R., Obiedkov, S. (eds.) ICFCA 2008. LNCS (LNAI), vol. 4933, pp. 46\u201361. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78137-0_4"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-40985-6_9","volume-title":"Graph-Based Representation and Reasoning","author":"S Ferr\u00e9","year":"2016","unstructured":"Ferr\u00e9, S., Cellier, P.: Graph-FCA in practice. In: Haemmerl\u00e9, O., Stapleton, G., Faron Zucker, C. (eds.) ICCS 2016. LNCS (LNAI), vol. 9717, pp. 107\u2013121. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40985-6_9"},{"key":"1_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B Ganter","year":"2012","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-59830-2"},{"key":"1_CR9","volume-title":"Structural Models: An Introduction to the Theory of Directed Graphs","author":"F Harary","year":"1965","unstructured":"Harary, F.: Structural Models: An Introduction to the Theory of Directed Graphs. Wiley, New York (1965)"},{"key":"1_CR10","volume-title":"Conceptual Structures in Practice","author":"P Hitzler","year":"2009","unstructured":"Hitzler, P., Scharfe, H.: Conceptual Structures in Practice. CRC Press, Boca Raton (2009)"},{"key":"1_CR11","unstructured":"Koehler, K.R.: Directed graphs (2012). http:\/\/kias.dyndns.org\/comath\/33.html"},{"key":"1_CR12","unstructured":"Parker, L., HP OpenView Business Unit: A fool with a tool is still a fool! HP Open View (2001)"},{"issue":"16","key":"1_CR13","doi-asserted-by":"crossref","first-page":"6538","DOI":"10.1016\/j.eswa.2013.05.009","volume":"40","author":"J Poelmans","year":"2013","unstructured":"Poelmans, J., Ignatov, D.I., Kuznetsov, S.O., Dedene, G.: Review: formal concept analysis in knowledge processing: a survey on applications. Expert Syst. Appl. 40(16), 6538\u20136560 (2013)","journal-title":"Expert Syst. Appl."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-73681-3_1","volume-title":"Conceptual Structures: Knowledge Architectures for Smart Applications","author":"S Polovina","year":"2007","unstructured":"Polovina, S.: An introduction to conceptual graphs. In: Priss, U., Polovina, S., Hill, R. (eds.) ICCS-ConceptStruct 2007. LNCS (LNAI), vol. 4604, pp. 1\u201314. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73681-3_1"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Polovina, S., Scheruhn, H.-J., von Rosing, M.: Modularising the complex meta-models in enterprise systems using conceptual structures. In: Developments and Trends in Intelligent Technologies and Smart Systems, pp. 261\u2013283. IGI Global, Hershey (2018). ID: 189437","DOI":"10.4018\/978-1-5225-3686-4.ch013"},{"issue":"1","key":"1_CR16","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s10472-012-9329-3","volume":"67","author":"M Rouane-Hacene","year":"2013","unstructured":"Rouane-Hacene, M., Huchard, M., Napoli, A., Valtchev, P.: Relational concept analysis: mining concept lattices from multi-relational data. Ann. Math. Artif. Intell. 67(1), 81\u2013108 (2013)","journal-title":"Ann. Math. Artif. Intell."},{"key":"1_CR17","unstructured":"Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley Publishing, Reading (1983)"},{"key":"1_CR18","unstructured":"Sowa, J.F.: Conceptual graph examples. http:\/\/www.jfsowa.com\/cg\/cgexampw.htm"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Sowa, J.F.: Conceptual graphs. In: Handbook of Knowledge Representation, Foundations of Artificial Intelligence, vol. 3, pp. 213\u2013237. Elsevier, Amsterdam (2008)","DOI":"10.1016\/S1574-6526(07)03005-2"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/BFb0027878","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.) ICCS-ConceptStruct 1997. LNCS, vol. 1257, pp. 290\u2013303. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0027878"}],"container-title":["Lecture Notes in Computer Science","Graph Structures for Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-78102-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T00:25:49Z","timestamp":1570926349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-78102-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319781013","9783319781020"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78102-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}