{"id":"https://openalex.org/W2071778829","doi":"https://doi.org/10.1017/s1471068407003249","title":"Translating OWL and semantic web rules into prolog: Moving toward description logic programs","display_name":"Translating OWL and semantic web rules into prolog: Moving toward description logic programs","publication_year":2008,"publication_date":"2008-02-13","ids":{"openalex":"https://openalex.org/W2071778829","doi":"https://doi.org/10.1017/s1471068407003249","mag":"2071778829"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068407003249","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068407003249","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","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/A5063296669","display_name":"Ken Samuel","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"KEN SAMUEL","raw_affiliation_strings":["The MITRE Corporation, 7525 Colshire Drive, McLean, VA 22102-7508 (e-mail:","The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 7525 Colshire Drive, McLean, VA 22102-7508 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org)","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073276232","display_name":"Leo Obrst","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"LEO OBRST","raw_affiliation_strings":["The MITRE Corporation, 7525 Colshire Drive, McLean, VA 22102-7508 (e-mail:","The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 7525 Colshire Drive, McLean, VA 22102-7508 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org)","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069602489","display_name":"Suzette Stoutenberg","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"SUZETTE STOUTENBERG","raw_affiliation_strings":["The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036357356","display_name":"Karen Fox","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"KAREN FOX","raw_affiliation_strings":["The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078197190","display_name":"Paul Franklin","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"PAUL FRANKLIN","raw_affiliation_strings":["The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013244329","display_name":"Adrian Johnson","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ADRIAN JOHNSON","raw_affiliation_strings":["The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017765591","display_name":"Ken Laskey","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"KEN LASKEY","raw_affiliation_strings":["The MITRE Corporation, 7525 Colshire Drive, McLean, VA 22102-7508 (e-mail:","The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 7525 Colshire Drive, McLean, VA 22102-7508 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org)","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035853405","display_name":"Deborah L. Nichols","orcid":"https://orcid.org/0000-0001-9500-8299"},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"DEBORAH NICHOLS","raw_affiliation_strings":["The MITRE Corporation, 7525 Colshire Drive, McLean, VA 22102-7508 (e-mail:","The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 7525 Colshire Drive, McLean, VA 22102-7508 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: samuel@mitre.org, lobrst@mitre.org, klaskey@mitre.org, dlnichols@mitre.org)","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020280411","display_name":"Steve Lopez","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"STEVE LOPEZ","raw_affiliation_strings":["The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#","institution_ids":["https://openalex.org/I44896327"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085183711","display_name":"Jason Peterson","orcid":null},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"JASON PETERSON","raw_affiliation_strings":["The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The MITRE Corporation, 1155 Academy Park Loop, Colorado Springs, CO 80910-3716 (e-mail:","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: suzette@mitre.org, kfox@mitre.org, pfranklin@mitre.org, abjohnson@mitre.org, slopez@mitre.org, jasonp@mitre. ...#TAB#","institution_ids":["https://openalex.org/I44896327"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.8163,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.97453906,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"8","issue":"3","first_page":"301","last_page":"322"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9976000189781189,"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/computer-science","display_name":"Computer science","score":0.8873761892318726},{"id":"https://openalex.org/keywords/web-ontology-language","display_name":"Web Ontology Language","score":0.786733865737915},{"id":"https://openalex.org/keywords/semantic-web-rule-language","display_name":"Semantic Web Rule Language","score":0.7388144731521606},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.672556459903717},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.65468430519104},{"id":"https://openalex.org/keywords/ruleml","display_name":"RuleML","score":0.617606520652771},{"id":"https://openalex.org/keywords/ontology-language","display_name":"Ontology language","score":0.6154567003250122},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.6058803200721741},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.5803961753845215},{"id":"https://openalex.org/keywords/owl-s","display_name":"OWL-S","score":0.5653519630432129},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.5490350127220154},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.5476306080818176},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.47257673740386963},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4494554102420807},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41313421726226807},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3343202769756317},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.23915305733680725},{"id":"https://openalex.org/keywords/semantic-web-stack","display_name":"Semantic Web Stack","score":0.20034903287887573},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.18738722801208496},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.15848761796951294},{"id":"https://openalex.org/keywords/semantic-analytics","display_name":"Semantic analytics","score":0.15314048528671265},{"id":"https://openalex.org/keywords/markup-language","display_name":"Markup language","score":0.10369464755058289}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8873761892318726},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.786733865737915},{"id":"https://openalex.org/C71695816","wikidata":"https://www.wikidata.org/wiki/Q3478367","display_name":"Semantic Web Rule Language","level":5,"score":0.7388144731521606},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.672556459903717},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.65468430519104},{"id":"https://openalex.org/C196388810","wikidata":"https://www.wikidata.org/wiki/Q631877","display_name":"RuleML","level":5,"score":0.617606520652771},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.6154567003250122},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.6058803200721741},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.5803961753845215},{"id":"https://openalex.org/C50382505","wikidata":"https://www.wikidata.org/wiki/Q2553356","display_name":"OWL-S","level":4,"score":0.5653519630432129},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.5490350127220154},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.5476306080818176},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.47257673740386963},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4494554102420807},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41313421726226807},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3343202769756317},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.23915305733680725},{"id":"https://openalex.org/C167379230","wikidata":"https://www.wikidata.org/wiki/Q1026884","display_name":"Semantic Web Stack","level":3,"score":0.20034903287887573},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.18738722801208496},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.15848761796951294},{"id":"https://openalex.org/C148792806","wikidata":"https://www.wikidata.org/wiki/Q7449046","display_name":"Semantic analytics","level":4,"score":0.15314048528671265},{"id":"https://openalex.org/C45874996","wikidata":"https://www.wikidata.org/wiki/Q37045","display_name":"Markup language","level":3,"score":0.10369464755058289},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C189139006","wikidata":"https://www.wikidata.org/wiki/Q166074","display_name":"XHTML","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068407003249","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068407003249","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W3429031","https://openalex.org/W26772505","https://openalex.org/W79760435","https://openalex.org/W83435933","https://openalex.org/W84120850","https://openalex.org/W153888645","https://openalex.org/W156009831","https://openalex.org/W1489402961","https://openalex.org/W1520191953","https://openalex.org/W1530638520","https://openalex.org/W1537847104","https://openalex.org/W1557218957","https://openalex.org/W1559402073","https://openalex.org/W1562643504","https://openalex.org/W1570041031","https://openalex.org/W1577783107","https://openalex.org/W1579223672","https://openalex.org/W1589170163","https://openalex.org/W1589263172","https://openalex.org/W1605256842","https://openalex.org/W1980108527","https://openalex.org/W2036079255","https://openalex.org/W2038897673","https://openalex.org/W2051790368","https://openalex.org/W2058847156","https://openalex.org/W2068982639","https://openalex.org/W2100983017","https://openalex.org/W2102308007","https://openalex.org/W2105197197","https://openalex.org/W2111306015","https://openalex.org/W2122695420","https://openalex.org/W2165496352","https://openalex.org/W2175390224","https://openalex.org/W2952727465","https://openalex.org/W3021337086","https://openalex.org/W3099451540","https://openalex.org/W4285719527","https://openalex.org/W6635326540"],"related_works":["https://openalex.org/W2475889485","https://openalex.org/W2103446159","https://openalex.org/W1582258607","https://openalex.org/W2501878697","https://openalex.org/W845552570","https://openalex.org/W2378801232","https://openalex.org/W25470220","https://openalex.org/W1968976977","https://openalex.org/W3144865525","https://openalex.org/W1507629289"],"abstract_inverted_index":{"Abstract":[0],"We":[1,87],"are":[2,52],"researching":[3],"the":[4,7,10,14,54,83,91,98,108,133],"interaction":[5],"between":[6],"rule":[8,26],"and":[9,24,35,46,64,73,121,123,147],"ontology":[11,43],"layers":[12],"of":[13,41,69,77,85,107],"Semantic":[15],"Web,":[16],"by":[17,66],"comparing":[18],"two":[19],"options:":[20],"1)":[21],"using":[22],"OWL":[23],"its":[25],"extension":[27],"SWRL":[28],"to":[29,93],"develop":[30],"an":[31,42],"integrated":[32],"ontology/rule":[33],"language,":[34],"2)":[36],"layering":[37],"rules":[38,79],"on":[39,62,97],"top":[40],"with":[44,130],"RuleML":[45],"OWL.":[47,86],"Toward":[48],"this":[49],"end,":[50],"we":[51,140],"developing":[53],"SWORIER":[55],"system,":[56],"which":[57],"enables":[58],"efficient":[59],"automated":[60],"reasoning":[61],"ontologies":[63],"rules,":[65],"translating":[67],"all":[68],"them":[70],"into":[71],"Prolog":[72],"adding":[74],"a":[75],"set":[76],"general":[78],"that":[80],"properly":[81],"capture":[82],"semantics":[84],"have":[88],"also":[89],"enabled":[90],"user":[92],"make":[94],"dynamic":[95],"changes":[96],"fly,":[99],"at":[100],"run":[101],"time.":[102],"This":[103],"work":[104],"addresses":[105],"several":[106],"concerns":[109],"expressed":[110],"in":[111,132],"previous":[112],"work,":[113],"such":[114],"as":[115],"negation,":[116],"complementary":[117],"classes,":[118],"disjunctive":[119],"heads,":[120],"cardinality,":[122],"it":[124],"discusses":[125],"alternative":[126],"approaches":[127],"for":[128,138],"dealing":[129],"inconsistencies":[131],"knowledge":[134],"base.":[135],"In":[136],"addition,":[137],"efficiency,":[139],"implemented":[141],"techniques":[142],"called":[143],"extensionalization,":[144],"avoiding":[145],"reanalysis,":[146],"code":[148],"minimization.":[149]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}