{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:13:54Z","timestamp":1761930834813,"version":"build-2065373602"},"reference-count":124,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029843","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:14:31Z","timestamp":1056579271000},"page":"359-370","source":"Crossref","is-referenced-by-count":7,"title":["Description logics: foundations for class-based knowledge representation"],"prefix":"10.1109","author":[{"given":"D.","family":"Calvanese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"De Giacomo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Lenzerini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms","year":"1996","author":"calvanese","key":"35"},{"key":"36","first-page":"229","article-title":"Structured objects: Modeling and reasoning","volume":"1013","author":"calvanese","year":"1995","journal-title":"LNCS"},{"key":"33","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/263661.263675","article-title":"Semistructured data","author":"buneman","year":"1997","journal-title":"Proc of PODS'97"},{"key":"34","first-page":"292","article-title":"Finite model reasoning in description logics","author":"calvanese","year":"1996","journal-title":"Proc KR'96"},{"key":"39","first-page":"8489","article-title":"Reasoning in expressive description logics with fixpoints based on automata on infinite trees","author":"calvanese","year":"1999","journal-title":"Proc IJCAI 99"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275504"},{"key":"38","first-page":"205","article-title":"What can knowledge representation do for semi-structured data?","author":"calvanese","year":"1998","journal-title":"Proc AAAI 98"},{"key":"43","first-page":"107","article-title":"2ATAs make DLs easy","author":"calvanese","year":"2002","journal-title":"Proc DL 2002"},{"key":"42","first-page":"155","article-title":"Identification constraints and functional dependencies in description logics","author":"calvanese","year":"2001","journal-title":"Proc IJCAI 2001"},{"key":"41","first-page":"386","article-title":"Answering queries using views over description logics knowledge bases","author":"calvanese","year":"2000","journal-title":"Proc AAAI 2000"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.3.295"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01050635"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1142\/S0218215794000211"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/69.469829"},{"key":"25","first-page":"85","article-title":"Adding uniqueness constraints to description logics (preliminary report)","author":"borgida","year":"1997","journal-title":"Proc of DOOD'97"},{"key":"26","first-page":"34","article-title":"The tractability of subsumption in frame-based description languages","author":"brachman","year":"1984","journal-title":"Proc AAAI-84"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-0771-1.50022-9"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0902_1"},{"journal-title":"Extensible Markup Language (XML) 1 0 W3C Recommendation","year":"1998","author":"bray","key":"29"},{"key":"3","article-title":"Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles","author":"baader","year":"1991","journal-title":"Proc IJCAI-91"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1452-8.50098-1"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.2307\/2695090"},{"key":"30","first-page":"199","article-title":"Terminological systems revisited: Terminology = schema + views","author":"buchheit","year":"1994","journal-title":"Proc AAAI 94"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/122296.122298"},{"key":"6","first-page":"452","article-title":"A schema for integrating concrete domains into concept languages","author":"baader","year":"1991","journal-title":"Proc IJCAI-91"},{"key":"32","first-page":"171","article-title":"An approach to tense logic","volume":"12","author":"bull","year":"1970","journal-title":"Theoria"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2002","author":"baader","key":"5"},{"key":"31","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1613\/jair.21","article-title":"Decidable reasoning in terminological knowledge representation systems","volume":"1","author":"buchheit","year":"1993","journal-title":"J of Artificial Intelligence Research"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-76274-1_10"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45653-8_15"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00883932"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/132271.132272"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1997.582032"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(00)00047-1"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/263661.263673"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90018-6"},{"key":"13","first-page":"1","article-title":"Tableau algorithms for description logics","volume":"1847","author":"baader","year":"2000","journal-title":"LNAI"},{"key":"14","first-page":"396","article-title":"OilEd: A Reason-able ontology editor for the semantic web","volume":"2174","author":"bechhofer","year":"2001","journal-title":"LNAI"},{"key":"11","first-page":"297","article-title":"Rewriting concepts using terminologies","author":"baader","year":"2000","journal-title":"Proc of KR'2000"},{"key":"12","first-page":"21","article-title":"Fusions of description logics","author":"baader","year":"2000","journal-title":"Proc of DL 2000"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093634564"},{"key":"20","first-page":"142","article-title":"An automatatheoretic approach to branching-time model checking","volume":"818","author":"bernholtz","year":"1994","journal-title":"LNCS"},{"key":"109","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(94)90002-7"},{"key":"108","doi-asserted-by":"publisher","DOI":"10.1007\/BF00962071"},{"key":"107","first-page":"76","article-title":"The hybrid ?-calculus","author":"sattler","year":"2001","journal-title":"Proc IJCAI 2001"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1998","author":"rumbaugh","key":"106"},{"key":"105","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"104","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90061-6"},{"key":"103","doi-asserted-by":"publisher","DOI":"10.1145\/122296.122314"},{"key":"102","article-title":"ARGON: Knowledge representation meets information retrieval","author":"patel-schneider","year":"1984","journal-title":"Proc IEEE Conf Artificial Intelligence Applications"},{"key":"99","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0020-0190(85)90127-9","article-title":"PDL with data constraints","volume":"20","author":"passy","year":"1985","journal-title":"Information Processing Letters"},{"key":"101","article-title":"Small can be beautiful in knowledge representation","author":"patel-schneider","year":"1984","journal-title":"Proc Knowledge-Based Syst Workshop"},{"key":"100","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90026-X"},{"key":"98","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-0771-1.50018-7"},{"key":"97","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90087-G"},{"key":"96","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90066-5"},{"key":"95","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90133-2"},{"key":"94","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45744-5_5"},{"key":"93","first-page":"90","article-title":"Reasoning with concrete domains","author":"lutz","year":"1999","journal-title":"Proc IJCAI 99"},{"key":"92","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00048-4"},{"key":"91","first-page":"4047","article-title":"Query answering algorithms for information agents","author":"levy","year":"1996","journal-title":"Proc AAAI 96"},{"key":"90","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1987.tb00176.x"},{"key":"10","first-page":"96","article-title":"Computing least common subsumers in description logics with existential restrictions","author":"baader","year":"1999","journal-title":"Proc IJCAI 99"},{"key":"88","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00109-X"},{"key":"89","first-page":"471","article-title":"Concept languages as query languages","author":"lenzerini","year":"1991","journal-title":"Proc AAAI 91"},{"key":"116","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.705","article-title":"The complexity of reasoning with cardinality restrictions and nominals in expressive description logics","volume":"12","author":"tobies","year":"2000","journal-title":"J of Artificial Intelligence Research"},{"journal-title":"Complexity Results and Practical Algorithms for Logics in Knowledge Representation","year":"2001","author":"tobies","key":"117"},{"journal-title":"Qualifying Number Restrictions in Concept Languages","year":"1991","author":"hollunder","key":"79"},{"key":"114","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"78","first-page":"701","article-title":"RACER system description","volume":"2083","author":"haarslev","year":"2001","journal-title":"LNAI"},{"key":"115","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59126-6_7"},{"key":"77","first-page":"161","article-title":"High performance reasoning with very large knowledge bases: A practical case study","author":"haarslev","year":"2001","journal-title":"Proc IJCAI 2001"},{"key":"112","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"113","doi-asserted-by":"publisher","DOI":"10.1142\/S0218215793000034"},{"key":"110","first-page":"466","article-title":"A correspondence theory for terminological logics: Preliminary report","author":"schild","year":"1991","journal-title":"Proc IJCAI-91"},{"key":"111","first-page":"509","article-title":"Terminological cycles and the propositional ?-calculus","author":"schild","year":"1994","journal-title":"Proc of KR'94"},{"key":"118","first-page":"19","article-title":"Information integration using logical views","volume":"1186","author":"ullman","year":"1997","journal-title":"LNCS"},{"key":"119","first-page":"81","article-title":"On the semantics of graded modalities","volume":"2","author":"van der hoek","year":"1992","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"82","first-page":"4","article-title":"Daml+oil: A description logic for the semantic web","volume":"25","author":"horrocks","year":"2002","journal-title":"Data Engineering Bulletin"},{"key":"83","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.3.267"},{"key":"80","first-page":"335","article-title":"Qualifying number restrictions in concept languages","author":"hollunder","year":"1991","journal-title":"Proc of KR'91"},{"key":"81","first-page":"636","article-title":"Using an expressive description logic: FaCT or fiction?","author":"horrocks","year":"1998","journal-title":"Proc KR'98"},{"key":"86","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025769"},{"key":"87","article-title":"The complexity of the graded mu-calculus","author":"kupferman","year":"2002","journal-title":"Proc of CADUI'2002"},{"key":"84","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.3.385"},{"key":"85","article-title":"On decidability and complexity of description logics with uniqueness constraints","author":"khizder","year":"2001","journal-title":"Proc of ICDT 2001"},{"key":"67","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1991.185392"},{"key":"66","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00070-9"},{"key":"69","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920598"},{"key":"68","doi-asserted-by":"publisher","DOI":"10.1007\/BF00379767"},{"key":"121","first-page":"628","article-title":"Reasoning about the past with two-way automata","volume":"1443","author":"vardi","year":"1998","journal-title":"LNCS"},{"key":"122","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90026-7"},{"key":"123","first-page":"282","article-title":"Terminological reasoning with constraint networks and an application to plan recognition","author":"weida","year":"1992","journal-title":"Proc KR 92"},{"key":"124","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(92)90139-9"},{"key":"70","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093890715"},{"key":"120","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/5.3.325"},{"key":"71","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"72","first-page":"45","article-title":"The i.com tool for intelligent conceptual modeling","author":"franconi","year":"2000","journal-title":"Proc of KR'2000"},{"key":"73","doi-asserted-by":"publisher","DOI":"10.1007\/BF01054038"},{"key":"74","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90126-0"},{"key":"75","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843000000181"},{"key":"76","first-page":"123","article-title":"Decidability issues for action guarded logics","author":"gonc?alve?s","year":"2000","journal-title":"Proc of DL 2000"},{"key":"59","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90076-A"},{"key":"58","doi-asserted-by":"publisher","DOI":"10.1145\/248233.248253"},{"key":"57","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2852"},{"key":"56","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1613\/jair.334","article-title":"A uniform framework for concept definitions in description logics","volume":"6","author":"de giacomo","year":"1997","journal-title":"J of Artificial Intelligence Research"},{"key":"55","first-page":"316","article-title":"TBox and ABox reasoning in expressive description logics","author":"de giacomo","year":"1996","journal-title":"Proc KR'96"},{"key":"64","first-page":"193","article-title":"Reasoning in description logics","author":"donini","year":"1996","journal-title":"Principles of Knowledge Representation"},{"key":"65","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008687430626"},{"key":"62","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00009-5"},{"key":"63","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.4.423"},{"key":"60","first-page":"458","article-title":"Tractable concept languages","author":"donini","year":"1991","journal-title":"Proc IJCAI-91"},{"key":"61","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2625"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1142\/S0218215793000174"},{"key":"48","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.548","article-title":"Unifying classbased representation formalisms","volume":"11","author":"calvanese","year":"1999","journal-title":"J of Artificial Intelligence Research"},{"key":"45","first-page":"2","article-title":"Description logic framework for information integration","author":"calvanese","year":"1998","journal-title":"Proc KR'98"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50025-4"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1452-8.50107-X"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1145\/182591.182620"},{"key":"51","first-page":"205","article-title":"Boosting the correspondence between description logics and propositional dynamic logics","author":"de giacomo","year":"1994","journal-title":"Proc AAAI 94"},{"key":"52","first-page":"411","article-title":"Concept language with number restrictions and fixpoints, and its relationship with ?-calculus","author":"de giacomo","year":"1994","journal-title":"Proc EEC 94"},{"key":"53","first-page":"332","article-title":"Description logics with inverse roles, functional restrictions, and n-ary relations","volume":"838","author":"de giacomo","year":"1994","journal-title":"LNAI"},{"key":"54","first-page":"801","article-title":"What's in an aggregate: Foundations for description logics with tuples and sets","author":"de giacomo","year":"1995","journal-title":"Proc of IJCAI'95"},{"journal-title":"Decidability of Class-Based Knowledge Representation Formalisms","year":"1995","author":"de giacomo","key":"50"}],"event":{"name":"17th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-02","location":"Copenhagen, Denmark"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029843.pdf?arnumber=1029843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T00:32:22Z","timestamp":1585009942000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029843\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":124,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029843","relation":{},"subject":[]}}