{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T02:26:51Z","timestamp":1649039211993},"reference-count":33,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1998,4]]},"DOI":"10.1016\/s0169-023x(97)00039-6","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T00:18:15Z","timestamp":1049501895000},"page":"347-352","source":"Crossref","is-referenced-by-count":5,"title":["Workshop on comparing description and frame logics"],"prefix":"10.1016","volume":"25","author":[{"given":"D","family":"Fensel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.-C","family":"Rousset","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S","family":"Decker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-023X(97)00039-6_BIB1","series-title":"Operationalisierung des Models der Expertise mit KARL","author":"Angele","year":"1993"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB2","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01535840","article-title":"The F-logic approach for description languages","volume":"15","author":"Balaban","year":"1995","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB3","series-title":"Technical Report FC-94-10","article-title":"The (frames)-logic approach for description languages II: a hybrid integration of rules and descriptions","author":"Balaban","year":"1994"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB4","series-title":"Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD-95), Lecture Notes in Computer Science","article-title":"Structured objects: Modeling and reasoning","author":"Calvanese","year":"1995"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB5","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(83)90008-5","article-title":"The epistemology of a rule-based expert system\u2014a framework for explanation","volume":"20","author":"Clancey","year":"1983","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB6","article-title":"From GUIDON to NEOMYCIN and HERACLES in 20 short lessons: ORN final report 1979\u20131985","author":"Clancey","year":"1986","journal-title":"The AI Magazine"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB7","series-title":"Proc. 14th Int. Conf. on Artificial Intelligence (IJCAI-95)","article-title":"What's in an aggregate: Foundations for description logics with tupels and sets","author":"De Giacomono","year":"1995"},{"issue":"4","key":"10.1016\/S0169-023X(97)00039-6_BIB8","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900007566","article-title":"Formal specification languages in knowledge and software engineering","volume":"10","author":"Fensel","year":"1995","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB9","doi-asserted-by":"crossref","unstructured":"D. Fensel, J. Angele and R. Studer, The Knowledge Acquisition and Representation Language (KARL), IEEE Trans. on Knowledge and Data Engineering, in press.","DOI":"10.1007\/978-1-4615-2275-1"},{"issue":"2","key":"10.1016\/S0169-023X(97)00039-6_BIB10","doi-asserted-by":"crossref","DOI":"10.1017\/S0269888900006767","article-title":"A comparison of languages which operationalize and formalize KADS models of expertise","volume":"9","author":"Fensel","year":"1994","journal-title":"The Knowledge Engineering Review"},{"issue":"6","key":"10.1016\/S0169-023X(97)00039-6_BIB11","article-title":"The Ontolingua server: A tool for collaborative ontology construction","volume":"46","author":"Farquhar","year":"1997","journal-title":"Int. Journal of Human-Computer Interaction (IJHCI)"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB12","unstructured":"http:\/\/www.informatik.ini-freiburg.de:80\/\u223cdbis\/flogic-project.html"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB13","article-title":"The use of ontologies for specifying tasks and problem-solving methods: A case study","volume":"1319","author":"Fensel","year":"1997"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB14","doi-asserted-by":"crossref","unstructured":"D. Fensel and R. Straatman, The essence of problem-solving methods: Making assumptions to gain efficiency, Int. Journal of Human-Computer Studies (IJHCS), in press.","DOI":"10.1006\/ijhc.1997.0168"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB15","series-title":"Formale Begriffsanalyse","author":"Ganter","year":"1996"},{"issue":"6","key":"10.1016\/S0169-023X(97)00039-6_BIB16","article-title":"Understanding, building and using ontologies","volume":"46","author":"Guarino","year":"1997","journal-title":"Intl. Journal of Human-Computer Interaction (IJHCI)"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-6259-0_10","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"issue":"6","key":"10.1016\/S0169-023X(97)00039-6_BIB18","article-title":"Using explicit ontologies in knowledge-based system development","volume":"46","author":"van Heijst","year":"1997","journal-title":"Int. Journal of Human-Computer Interaction (IJHCI)"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB19","doi-asserted-by":"crossref","DOI":"10.1145\/210332.210335","article-title":"Logical foundations of object-oriented and frame-based languages","volume":"42","author":"Kifer","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB20","series-title":"Proc. 12th European Conf. on AI (ECAI-96)","article-title":"CARIN: A representation language combining Horn rules and description logics","author":"Levy","year":"1996"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB21","series-title":"Proc. 13th National Conf. on Artificial Intelligence, AAAI-96","article-title":"The Limits of combining recursive Horn rules with description logics","author":"Levy","year":"1996"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB22","series-title":"Proc. Int. Conf. on Conceptual Structures (ICCS-95)","article-title":"Conceptual structures for knowledge engineering and knowledge modelling","author":"Lukose","year":"1995"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB23","series-title":"LOOM Users Manual, ISI\/WP-22","author":"MacGregor","year":"1990"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB24","series-title":"Principles of Knowledge Representation. Studies in Logic, Language and Information","article-title":"Artificial intelligence: A computational perspective","author":"Nebel","year":"1996"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB25","series-title":"Foundations of Deductive Databases and Logic Programming","article-title":"On the declarative semantics of deductive databases and logic programs","author":"Przymusinski","year":"1988"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB26","series-title":"Special issue on Sisyphus-VT","volume":"44","year":"1996"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB27","series-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"Sowa","year":"1984"},{"issue":"6","key":"10.1016\/S0169-023X(97)00039-6_BIB28","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/64.363263","article-title":"CommonKADS: A comprehensive methodology for KBS development","volume":"9","author":"Schreiber","year":"1994","journal-title":"IEEE Expert"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB29","series-title":"Proc. 9th Knowledge Acquisition for Knowledge-based Systems Workshop (KAW-95)","article-title":"EXPECT: Explicit representation for flexible acquisition","author":"Swartout","year":"1995"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB30","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1006\/ijhc.1994.1074","article-title":"Tasks and ontologies in engineering modeling","volume":"41","author":"Top","year":"1994","journal-title":"Intl. Journal of Human-Computer Studies (IJHCS)"},{"issue":"1","key":"10.1016\/S0169-023X(97)00039-6_BIB31","doi-asserted-by":"crossref","DOI":"10.1016\/1042-8143(92)90017-U","article-title":"(ML)2: A formal language for KADS conceptual models","volume":"4","author":"van Harmelen","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00039-6_BIB32","series-title":"Formal Specification of Complex Reasoning Systems","article-title":"A compositional architecture for simple design formally specified in DESIRE","author":"van Langevelde","year":"1993"},{"issue":"6\u20139","key":"10.1016\/S0169-023X(97)00039-6_BIB33","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1016\/0898-1221(92)90120-7","article-title":"Concept lattices and conceptual knowledge systems","volume":"23","author":"Wille","year":"1992","journal-title":"Computers Mathematical Applications"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X97000396?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X97000396?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T01:56:56Z","timestamp":1555984616000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X97000396"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,4]]}},"alternative-id":["S0169023X97000396"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(97)00039-6","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1998,4]]}}}