{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:46Z","timestamp":1725493906686},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009573"},{"type":"electronic","value":"9783540365969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36596-6_6","type":"book-chapter","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T17:23:52Z","timestamp":1193246632000},"page":"100-118","source":"Crossref","is-referenced-by-count":0,"title":["Characterization of Type Hierarchies with Open Specification"],"prefix":"10.1007","author":[{"given":"Stephen J.","family":"Hegner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,1]]},"reference":[{"key":"6_CR1","unstructured":"J. Ad\u00e1mek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Wiley-Interscience, 1990."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, 5:353\u2013382, 1990.","journal-title":"Data and Knowledge Engineering"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1109\/69.469829","volume":"7","author":"A. Borgida","year":"1995","unstructured":"A. Borgida. Description logics in data management. IEEE Trans. Knowledge Data Engrg., 7:671\u2013682, 1995.","journal-title":"IEEE Trans. Knowledge Data Engrg."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"T. Briscoe, V. de Paiva, and A. Copestake, editors. Inheritance, Defaults, and the Lexicon. Cambridge University Press, 1993.","DOI":"10.1017\/CBO9780511663642"},{"key":"6_CR5","unstructured":"B. Carpenter and G. Penn. ALE: The Attribute Logic Engine user\u2019s guide, Version 3.1 Beta. Technical report, Bell Laboratories and Universit\u00e4t T\u00fcbingen, 1998."},{"key":"6_CR6","unstructured":"B. A. Davey and H. A. Priestly. Introduction to Lattices and Order. Cambridge University Press, 1990."},{"key":"6_CR7","unstructured":"J. D\u00f6erre and M. Dorna. CUF-a formalism for linguistic knowledge representation. In J. D\u00f6rre, editor, Computational Aspects of Constraint-Based Linguistic Description, DYANA-2 Deliverable R.1.2.A, pages 3\u201322. ESPRIT, 1993."},{"key":"6_CR8","first-page":"100","volume":"2","author":"J. D\u00f6rre","year":"1990","unstructured":"J. D\u00f6rre and A. Eisele. Feature logic with disjunctive unification. In Proceedings of the COLING 90, Volume 2, pages 100\u2013105, 1990.","journal-title":"Feature logic with disjunctive unification"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W. F. Dowling","year":"1984","unstructured":"W. F. Dowling and J. H. Gallier. Linear-time algorithms for testing the satisfiability of propositional Horn clauses. J. Logic Programming, 3:267\u2013284, 1984.","journal-title":"J. Logic Programming"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"B. Ganter and R. Wille. Formal Concept Analysis. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-642-59830-2"},{"key":"6_CR11","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability. W. H. Freeman, 1979."},{"key":"6_CR12","unstructured":"G. Gr\u00e4tzer. General Lattice Theory. Birkh\u00e4user Verlag, second edition, 1998."},{"key":"6_CR13","unstructured":"S. J. Hegner. Distributivity in incompletely specified type hierarchies: Theory and computational complexity. In J. D\u00f6rre, editor, Computational Aspects of Constraint-Based Linguistic Description II, DYANA-2, ESPRIT Basic Research Project 6852, Deliverable R1.2B, pages 29\u2013120. DYANA, 1994."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"S. J. Hegner. Properties of Horn clauses in feature-structure logic. In C. J. Rupp, M. A. Rosner, and R. L. Johnson, editors, Constraints, Languages and Computation, pages 111\u2013147. Academic Press, 1994.","DOI":"10.1016\/B978-0-08-050296-0.50011-5"},{"key":"6_CR15","unstructured":"S. J. Hegner. Efficient inference algorithms for databases of type hierarchies with open specification. Submitted for publication, 2001."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"S. J. Hegner. Computational and structural aspects of openly specified type hierarchies. In M. Moortgat, editor, Logical Aspects of Computational Linguistics, Third International Conference, LACL\u2019 98 Grenoble, France, December 1998, Selected Papers, in press, 2001.","DOI":"10.1007\/3-540-45738-0_4"},{"key":"6_CR17","unstructured":"C. Pollard and I. A. Sag. Head-Driven Phrase Structure Grammar. University of Chicago Press, 1994."},{"key":"6_CR18","first-page":"49","volume":"11","author":"K.-D. Schewe","year":"1993","unstructured":"K.-D. Schewe and B. Thalheim. Fundamental concepts of object oriented databases. Acta Cybernetica, 11:49\u201384, 1993.","journal-title":"Acta Cybernetica"},{"key":"6_CR19","unstructured":"J. Van den Bussche. Formal Aspects of Object Identity in Database Manipulation. PhD thesis, University of Antwerp, 1993."},{"key":"6_CR20","unstructured":"R. Zajac. Notes on the Typed Feature System, Version 4, January 1991. Technical report, Universit\u00e4t Stuttgart, Institut f\u00fcr Informatik, Project Polygloss, 1991."}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36596-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T20:03:05Z","timestamp":1556913785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36596-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009573","9783540365969"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-36596-6_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}