{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:10:52Z","timestamp":1747973452799,"version":"3.41.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T00:00:00Z","timestamp":1427846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s00354-015-0203-9","type":"journal-article","created":{"date-parts":[[2015,4,12]],"date-time":"2015-04-12T00:24:46Z","timestamp":1428798286000},"page":"149-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Logical and Ontological Framework for Compositional Concepts of Objects and Properties"],"prefix":"10.1007","volume":"33","author":[{"given":"Ken","family":"Kaneiwa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riichiro","family":"Mizoguchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip H. P.","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,13]]},"reference":[{"key":"203_CR1","unstructured":"http:\/\/www.w3.org\/tr\/owl-time ."},{"key":"203_CR2","doi-asserted-by":"crossref","unstructured":"Baget, J., Croitoru, M., Gutierrez, A., Lecl\u00e8re, M. and Mugnier, M.-L., \u201cTranslations between rdf(s) and conceptual graphs,\u201d in Proc. of the 18th International Conference on Conceptual Structures (ICCS 2010), LNCS, 6208, pp. 28\u201341 Springer, 2010.","DOI":"10.1007\/978-3-642-14197-3_7"},{"key":"203_CR3","doi-asserted-by":"crossref","unstructured":"Bettini, C., Jajodia, S. G. and Wang, S. X., Time Granularities in Databases, Data Mining and Temporal Reasoning, Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2000.","DOI":"10.1007\/978-3-662-04228-1"},{"key":"203_CR4","unstructured":"Brickley, D. and Guha, R. V., \u201cRDF Vocabulary Description Language 1.0: RDF Schema, W3C Recommendation,\u201d http:\/\/www.w3.org\/tr\/2004\/rec-rdf-schema-20040210\/ , Technical report, 2004."},{"key":"203_CR5","doi-asserted-by":"crossref","unstructured":"5 Chen, W. and Kifer, M., \u201cSorted HiLog: Sorts in higher-order logic data languages,\u201d in Proc. of the 5th International Conference on Database Theory (ICDT\u201995), LNCS, 893, pp. 252\u2013265. Springer, 1995.","DOI":"10.1007\/3-540-58907-4_20"},{"key":"203_CR6","unstructured":"Dershowitz, N. and Reingold, E. M., Calendrical Calculations, Cambridge University Press, 1997."},{"key":"203_CR7","doi-asserted-by":"crossref","unstructured":"Grenon, P. and Smith, B., \u201cSNAP and SPAN: Towards dynamic spatial ontology,\u201d Spatial Cognition & Computation, 4, 1, pp. 69\u2013104, 2004.","DOI":"10.1207\/s15427633scc0401_5"},{"key":"203_CR8","doi-asserted-by":"crossref","unstructured":"Guarino, N. and Welty, C., \u201cA formal ontology of properties,\u201d in Proc. of EKAW-2000: The 12th International Conference on Knowledge Engineering and Knowledge Management, pp. 97\u2013112, 2000.","DOI":"10.1007\/3-540-39967-4_8"},{"key":"203_CR9","doi-asserted-by":"crossref","unstructured":"Kaneiwa, K., \u201cOrder-sorted logic programming with predicate hierarchy,\u201d Artificial Intelligence, 158, 2, pp. 155\u2013188, 2004.","DOI":"10.1016\/j.artint.2004.05.001"},{"key":"203_CR10","unstructured":"Kaneiwa, K. and Mizoguchi, R., \u201cOntological knowledge base reasoning with sort-hierarchy and rigidity,\u201d in Proc. of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), pp. 278\u2013288, 2004."},{"key":"203_CR11","doi-asserted-by":"crossref","unstructured":"Kaneiwa, K. and Mizoguchi, R., \u201cAn order-sorted quantified modal logic for metaontology,\u201d in Proc. of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005), pp. 169\u2013184 LNCS, 3702, Springer\u2013Verlag, 2005.","DOI":"10.1007\/11554554_14"},{"key":"203_CR12","doi-asserted-by":"crossref","unstructured":"Kaneiwa, K. and Mizoguchi, R., \u201cDistributed reasoning with ontologies and rules in order-sorted logic programming,\u201d Journal of Web Semantics, 7, 3, pp. 252\u2013270, 2009.","DOI":"10.1016\/j.websem.2009.05.003"},{"key":"203_CR13","unstructured":"Gandon, F. and Schreiber, G., \u201cRDF 1.1 XML Syntax, W3C Recommendation,\u201d http:\/\/www.w3.org\/TR\/rdf-syntax-grammar\/ , 2014."},{"key":"203_CR14","unstructured":"Loux, M. J. and Zimmerman, D. eds., Oxford Handbook of Metaphysics, Oxford University Press, 2003."},{"key":"203_CR15","doi-asserted-by":"crossref","unstructured":"Lowe, E. J., The Four-Category Ontology: A Metaphysical Foundation for Natural Science, Oxford University Press, 2005.","DOI":"10.1093\/0199254397.001.0001"},{"key":"203_CR16","unstructured":"Manzano, M. \u201cIntroduction to many-sorted logic,\u201d in Many-sorted Logic and its Applications, pp. 3\u201386 John Wiley and Sons, 1993."},{"key":"203_CR17","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A. and Schneider, L., \u201cWonderweb deliverable d17. the wonderweb library of foundational ontologies and the dolce ontology,\u201d 2002."},{"key":"203_CR18","unstructured":"Materna, P., \u201cConcepts and objects,\u201d Acta Philosophica Fennica, 63, 1997."},{"key":"203_CR19","doi-asserted-by":"crossref","unstructured":"Motik, B., \u201cOn the Properties of Metamodeling in OWL,\u201d Journal of Logic and Computation, 17, 4, pp. 617\u2013637, 2007.","DOI":"10.1093\/logcom\/exm027"},{"key":"203_CR20","doi-asserted-by":"crossref","unstructured":"Ohlbach, H. J. and Gabbay, D. M., \u201cCalendar logic,\u201d Journal of Applied Non-Classical Logics, 8, 4, 1998.","DOI":"10.1080\/11663081.1998.10510948"},{"key":"203_CR21","doi-asserted-by":"crossref","unstructured":"Rosenkrantz, G. and Hoffman, J., \u201cThe independence criterion of substance,\u201d Philosophy and Phenomenological Research, 51, 4, pp. 835\u2013853, 1991.","DOI":"10.2307\/2108184"},{"key":"203_CR22","unstructured":"Smith, B., \u201cBasic concepts of formal ontology,\u201d in Formal Ontology in Information Systems, 1998."},{"key":"203_CR23","doi-asserted-by":"crossref","unstructured":"Tharp, L. H., \u201cThe characterization of monadic logic,\u201d Journal of Symbolic Logic, 38, 3, pp. 481\u2013488, 1973.","DOI":"10.2307\/2273046"},{"key":"203_CR24","doi-asserted-by":"crossref","unstructured":"Welty, C. and Andersen, W., \u201cTowards ontoclean 2.0: A framework for rigidity,\u201d Applied Ontology, 1, 1, pp. 107\u2013116, 2005.","DOI":"10.3233\/APO-2005-000009"},{"key":"203_CR25","doi-asserted-by":"crossref","unstructured":"Welty, C. and Guarino, N., \u201cSupporting ontological analysis of taxonomic relationships,\u201d Data and Knowledge Engineering, 39, 1, pp. 51\u201374, 2001.","DOI":"10.1016\/S0169-023X(01)00030-1"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-015-0203-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-015-0203-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-015-0203-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T11:35:36Z","timestamp":1747913736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-015-0203-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["203"],"URL":"https:\/\/doi.org\/10.1007\/s00354-015-0203-9","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[2015,4]]}}}