{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:23Z","timestamp":1740099083016,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319905952"},{"type":"electronic","value":"9783319905969"}],"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-90596-9_6","type":"book-chapter","created":{"date-parts":[[2018,4,20]],"date-time":"2018-04-20T13:12:50Z","timestamp":1524229970000},"page":"76-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Purely Synthetic and Domain Independent Consistency-Guaranteed Populations in $$\\mathcal {SHIQ}^{(\\mathcal {D})}$$SHIQ(D)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3686-1104","authenticated-orcid":false,"given":"Jean-R\u00e9mi","family":"Bourguet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,21]]},"reference":[{"unstructured":"Melz, E.R., Macgregor, R.M.: Design, implementation, and analysis of a parallel description classifier. Technical report, University of Southern California Marina Del Rey Information Sciences Inst (1995)","key":"6_CR1"},{"unstructured":"Guizzardi, G.: Ontological foundations for structural conceptual models. Ph.D. thesis, Centre for Telematics and Information Technology, University of Twente, Enschede, The Netherlands (2005)","key":"6_CR2"},{"unstructured":"Bedini, I., Nguyen, B.: Automatic ontology generation: state of the art. PRiSM Laboratory, Technical report. University of Versailles (2007)","key":"6_CR3"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/3-540-45816-6_4","volume-title":"Conceptual Modeling \u2014 ER 2002","author":"N Guarino","year":"2002","unstructured":"Guarino, N., Schneider, L.: Ontology-driven conceptual modelling. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, p. 10. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-45816-6_4"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-32254-2_14","volume-title":"Mechanizing Mathematical Reasoning: Essays in Honor of J\u00f6rg H. Siekmann on the Occasion of His 60th Birthday","author":"F Baader","year":"2005","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 228\u2013248. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/978-3-540-32254-2_14"},{"unstructured":"De Giacomo, G., Lenzerini, M.: TBox and ABox reasoning in expressive description logics. In: Aiello, L.C., Doyle, J., Shapiro, S.C. (eds.) Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR 1996), Cambridge, Massachusetts, USA, 5\u20138 November 1996, pp. 316\u2013327. Morgan Kaufmann, Los Altos (1996)","key":"6_CR6"},{"unstructured":"Bourguet, J.R.: JPoT: Just another Populator of TBoxes. In: Ventura, J.A.L., Alatrista-Salas, H. (eds.) Proceedings of the 4th Annual International Symposium on Information Management and Big Data - SIMBig 2017. CEUR Workshop Proceedings. CEUR-WS.org (2017, in press)","key":"6_CR7"},{"key":"6_CR8","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. Artif. Intell. 48, 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-61708-6_74","volume-title":"KI-96: Advances in Artificial Intelligence","author":"U Sattler","year":"1996","unstructured":"Sattler, U.: A concept language extended with different kinds of transitive roles. In: G\u00f6rz, G., H\u00f6lldobler, S. (eds.) KI 1996. LNCS, vol. 1137, pp. 333\u2013345. Springer, Heidelberg (1996). \nhttps:\/\/doi.org\/10.1007\/3-540-61708-6_74"},{"unstructured":"Baader, F., Nutt, W.: Basic description logics, pp. 43\u201395. Cambridge University Press (2003)","key":"6_CR10"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic for Programming and Automated Reasoning","author":"I Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS (LNAI), vol. 1705, pp. 161\u2013180. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/3-540-48242-3_11"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"482","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 $$\\cal{SHIQ}$$SHIQ. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 482\u2013496. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/10721959_39"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-40885-4_7","volume-title":"Frontiers of Combining Systems","author":"P Koopmann","year":"2013","unstructured":"Koopmann, P., Schmidt, R.A.: Uniform interpolation of $$\\cal{ALC}$$ALC-ontologies using fixpoints. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS (LNAI), vol. 8152, pp. 87\u2013102. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-40885-4_7"},{"issue":"2","key":"6_CR14","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. Web Sem. Sci. Serv. Agents World Wide Web 3(2), 158\u2013182 (2005)","journal-title":"Web Sem. Sci. Serv. Agents World Wide Web"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11762256_12","volume-title":"The Semantic Web: Research and Applications","author":"L Ma","year":"2006","unstructured":"Ma, L., Yang, Y., Qiu, Z., Xie, G., Pan, Y., Liu, S.: Towards a complete OWL ontology benchmark. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 125\u2013139. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11762256_12"},{"doi-asserted-by":"crossref","unstructured":"Ongenae, F., Verstichel, S., De Turck, F., Dhaene, T., Dhoedt, B., Demeester, P.: OTAGen: a tunable ontology generator for benchmarking ontology-based agent collaboration. In: 32nd Annual IEEE International on Computer Software and Applications, pp. 529\u2013530. IEEE (2008)","key":"6_CR16","DOI":"10.1109\/COMPSAC.2008.134"},{"unstructured":"Boeker, M., Hastings, J., Schober, D., Schulz, S.: A T-Box generator for testing scalability of OWL mereotopological patterns. In: Dumontier, M., Courtot, M. (eds.) Proceedings of the 8th International Workshop on OWL: Experiences and Directions. CEUR Workshop Proceedings, vol. 796 (2011)","key":"6_CR17"},{"unstructured":"Chowdhury, N.: Ontoevaluator \u2013 SKTI synthetic data generator synthetic data generator (2012)","key":"6_CR18"},{"unstructured":"Horrocks, I., Yatskevich, M., Jim\u00e9nez-Ruiz, E. (eds.): Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, 1 July 2012. CEUR Workshop Proceedings, vol. 858. CEUR-WS.org (2012)","key":"6_CR19"},{"unstructured":"Li, Y., Yu, Y., Heflin, J.: Evaluating reasoners under realistic semantic web conditions. In: Horrocks, I., Yatskevich, M., Jim\u00e9nez-Ruiz, E. (eds.) Proceedings of the 1st International Workshop on OWL Reasoner Evaluation. CEUR Workshop Proceedings, vol. 858. CEUR-WS.org (2012)","key":"6_CR20"},{"unstructured":"Bourguet, J.R., Pulina, L.: TROvE: a graphical tool to evaluate OWL reasoners. In: Bail, S., Glimm, B., Jim\u00e9nez-Ruiz, E., Matentzoglu, N., Parsia, B., Steigmiller, A. (eds.) Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) Co-Located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, 13 July 2014. CEUR Workshop Proceedings, vol. 1207, pp. 30\u201335. CEUR-WS.org (2014)","key":"6_CR21"},{"issue":"6","key":"6_CR22","doi-asserted-by":"publisher","first-page":"981","DOI":"10.3233\/SW-160248","volume":"8","author":"S Batsakis","year":"2017","unstructured":"Batsakis, S., Petrakis, E.G.M., Tachmazidis, I., Antoniou, G.: Temporal representation and reasoning in OWL 2. Sem. Web 8(6), 981\u20131000 (2017)","journal-title":"Sem. Web"}],"container-title":["Communications in Computer and Information Science","Information Management and Big Data"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90596-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,20]],"date-time":"2018-04-20T13:16:59Z","timestamp":1524230219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90596-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319905952","9783319905969"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90596-9_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}