{"id":"https://openalex.org/W1502110353","doi":"https://doi.org/10.1007/bfb0018454","title":"The logical compilation of knowledge bases","display_name":"The logical compilation of knowledge bases","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W1502110353","doi":"https://doi.org/10.1007/bfb0018454","mag":"1502110353"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0018454","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0018454","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045115675","display_name":"Philippe Mathieu","orcid":"https://orcid.org/0000-0003-2786-1209"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210160005","display_name":"Computer Science Laboratory of Lille","ror":null,"country_code":"FR","type":null,"lineage":["https://openalex.org/I4210160005"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Philippe Mathieu","raw_affiliation_strings":["Laboratoire d'Informatique Fondamentale de Lille U.R.A. 369 CNRS, Universit\u00e9 des Sciences et Techniques de Lille Flandres Artois, B\u00e2t M3, 59655, Villeneuve d'Ascq Cedex, France","Universit\u00e9 des Sciences et Techniques de Lille Flandres Artois"],"affiliations":[{"raw_affiliation_string":"Laboratoire d'Informatique Fondamentale de Lille U.R.A. 369 CNRS, Universit\u00e9 des Sciences et Techniques de Lille Flandres Artois, B\u00e2t M3, 59655, Villeneuve d'Ascq Cedex, France","institution_ids":["https://openalex.org/I44563897","https://openalex.org/I4210160005","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Universit\u00e9 des Sciences et Techniques de Lille Flandres Artois","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016986024","display_name":"Jean-Paul Delahaye","orcid":"https://orcid.org/0000-0002-8758-9908"},"institutions":[{"id":"https://openalex.org/I4210160005","display_name":"Computer Science Laboratory of Lille","ror":null,"country_code":"FR","type":null,"lineage":["https://openalex.org/I4210160005"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Paul Delahaye","raw_affiliation_strings":["Laboratoire d'Informatique Fondamentale de Lille U.R.A. 369 CNRS, Universit\u00e9 des Sciences et Techniques de Lille Flandres Artois, B\u00e2t M3, 59655, Villeneuve d'Ascq Cedex, France","Universit\u00e9 des Sciences et Techniques de Lille Flandres Artois"],"affiliations":[{"raw_affiliation_string":"Laboratoire d'Informatique Fondamentale de Lille U.R.A. 369 CNRS, Universit\u00e9 des Sciences et Techniques de Lille Flandres Artois, B\u00e2t M3, 59655, Villeneuve d'Ascq Cedex, France","institution_ids":["https://openalex.org/I44563897","https://openalex.org/I4210160005","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Universit\u00e9 des Sciences et Techniques de Lille Flandres Artois","institution_ids":["https://openalex.org/I44563897"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045115675"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210160005","https://openalex.org/I44563897"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5525,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.61182735,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"386","last_page":"398"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/forward-chaining","display_name":"Forward chaining","score":0.8473931550979614},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8347201347351074},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.772797703742981},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.7564107775688171},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.6423377990722656},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.6373496055603027},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.6345072388648987},{"id":"https://openalex.org/keywords/chaining","display_name":"Chaining","score":0.5785509347915649},{"id":"https://openalex.org/keywords/backward-chaining","display_name":"Backward chaining","score":0.5540449619293213},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5528931021690369},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4597265124320984},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4533887803554535},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35304802656173706},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3098219335079193},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.3014757037162781},{"id":"https://openalex.org/keywords/inference-engine","display_name":"Inference engine","score":0.19213399291038513},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12223279476165771}],"concepts":[{"id":"https://openalex.org/C142614401","wikidata":"https://www.wikidata.org/wiki/Q777433","display_name":"Forward chaining","level":3,"score":0.8473931550979614},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8347201347351074},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.772797703742981},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.7564107775688171},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.6423377990722656},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.6373496055603027},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.6345072388648987},{"id":"https://openalex.org/C49020025","wikidata":"https://www.wikidata.org/wiki/Q1059099","display_name":"Chaining","level":2,"score":0.5785509347915649},{"id":"https://openalex.org/C129916263","wikidata":"https://www.wikidata.org/wiki/Q1141183","display_name":"Backward chaining","level":4,"score":0.5540449619293213},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5528931021690369},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4597265124320984},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4533887803554535},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35304802656173706},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3098219335079193},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.3014757037162781},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.19213399291038513},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12223279476165771},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bfb0018454","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0018454","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W104570697","https://openalex.org/W105798218","https://openalex.org/W178800716","https://openalex.org/W1483568252","https://openalex.org/W1530765221","https://openalex.org/W2003531456","https://openalex.org/W2010104109","https://openalex.org/W2010939537","https://openalex.org/W2038152707","https://openalex.org/W2062897452","https://openalex.org/W2067116405","https://openalex.org/W2069972706","https://openalex.org/W2081274355","https://openalex.org/W2104094083","https://openalex.org/W2111353076","https://openalex.org/W2134046100","https://openalex.org/W2258164538","https://openalex.org/W3124714415","https://openalex.org/W6653266791","https://openalex.org/W7048190923"],"related_works":["https://openalex.org/W2132414486","https://openalex.org/W4238340239","https://openalex.org/W2472912427","https://openalex.org/W2114383597","https://openalex.org/W2886511220","https://openalex.org/W2184441786","https://openalex.org/W2613924724","https://openalex.org/W2621131456","https://openalex.org/W4296096530","https://openalex.org/W3159334695"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}