Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W2950149666', 'doi': 'https://doi.org/10.48550/arxiv.0711.3419', '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': 2007, 'publication_date': '2007-01-01', 'ids': {'openalex': 'https://openalex.org/W2950149666', 'doi': 'https://doi.org/10.48550/arxiv.0711.3419', 'mag': '2950149666'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/0711.3419', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'type': 'preprint', 'type_crossref': 'posted-content', 'indexed_in': ['datacite'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'https://arxiv.org/abs/0711.3419', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5063296669', 'display_name': 'Ken Samuel', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected])'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: [email protected], [email protected], [email protected], [email protected])', 'institution_ids': ['https://openalex.org/I44896327']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5073276232', 'display_name': 'Leo Obrst', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected])'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: [email protected], [email protected], [email protected], [email protected])', 'institution_ids': ['https://openalex.org/I44896327']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5069602489', 'display_name': 'Suzette Stoutenberg', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#', 'institution_ids': ['https://openalex.org/I44896327']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5036357356', 'display_name': 'Karen Fox', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#', 'institution_ids': ['https://openalex.org/I44896327']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5078197190', 'display_name': 'Paul Franklin', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#', 'institution_ids': ['https://openalex.org/I44896327']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5013244329', 'display_name': 'Adrian Johnson', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#', 'institution_ids': ['https://openalex.org/I44896327']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5017765591', 'display_name': 'Ken Laskey', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected])'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: [email protected], [email protected], [email protected], [email protected])', '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: [email protected], [email protected], [email protected], [email protected])'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 7525 colshire drive, mclean, va 22102-7508 (e-mail: [email protected], [email protected], [email protected], [email protected])', 'institution_ids': ['https://openalex.org/I44896327']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5020280411', 'display_name': 'Steve Lopez', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#', 'institution_ids': ['https://openalex.org/I44896327']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5085183711', 'display_name': 'Jason Peterson', 'orcid': None}, '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: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#'], 'affiliations': [{'raw_affiliation_string': 'The mitre corporation, 1155 academy park loop, colorado springs, co 80910-3716 (e-mail: [email protected], [email protected], [email protected], [email protected], [email protected], jasonp@mitre. ...#TAB#', 'institution_ids': ['https://openalex.org/I44896327']}]}], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': None, 'has_fulltext': False, 'cited_by_count': 0, 'citation_normalized_percentile': {'value': 0.0, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 0, 'max': 63}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11010', 'display_name': 'Logic Programming and Knowledge Representation', 'score': 0.9996, '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 Programming and Knowledge Representation', 'score': 0.9996, '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 Ontology Development', 'score': 0.9995, '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/T10456', 'display_name': 'Methods and Techniques for Agent-Based Modeling', 'score': 0.9943, '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/web-ontology-language', 'display_name': 'Web Ontology Language', 'score': 0.70916355}, {'id': 'https://openalex.org/keywords/ontology-language', 'display_name': 'Ontology language', 'score': 0.6138647}, {'id': 'https://openalex.org/keywords/ruleml', 'display_name': 'RuleML', 'score': 0.5756628}, {'id': 'https://openalex.org/keywords/constraint-logic-programming', 'display_name': 'Constraint Logic Programming', 'score': 0.571392}, {'id': 'https://openalex.org/keywords/owl', 'display_name': 'OWL', 'score': 0.56718}, {'id': 'https://openalex.org/keywords/semantic-web', 'display_name': 'Semantic Web', 'score': 0.562235}, {'id': 'https://openalex.org/keywords/description-logics', 'display_name': 'Description Logics', 'score': 0.55572}, {'id': 'https://openalex.org/keywords/ontology', 'display_name': 'Ontology', 'score': 0.550525}, {'id': 'https://openalex.org/keywords/cardinality', 'display_name': 'Cardinality (data modeling)', 'score': 0.4982965}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.79095703}, {'id': 'https://openalex.org/C71695816', 'wikidata': 'https://www.wikidata.org/wiki/Q3478367', 'display_name': 'Semantic Web Rule Language', 'level': 5, 'score': 0.72474754}, {'id': 'https://openalex.org/C101230327', 'wikidata': 'https://www.wikidata.org/wiki/Q826165', 'display_name': 'Web Ontology Language', 'level': 3, 'score': 0.70916355}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.6952675}, {'id': 'https://openalex.org/C81721847', 'wikidata': 'https://www.wikidata.org/wiki/Q163468', 'display_name': 'Prolog', 'level': 2, 'score': 0.64503497}, {'id': 'https://openalex.org/C61673122', 'wikidata': 'https://www.wikidata.org/wiki/Q7095059', 'display_name': 'Ontology language', 'level': 3, 'score': 0.6138647}, {'id': 'https://openalex.org/C102993220', 'wikidata': 'https://www.wikidata.org/wiki/Q387196', 'display_name': 'Description logic', 'level': 2, 'score': 0.606363}, {'id': 'https://openalex.org/C196388810', 'wikidata': 'https://www.wikidata.org/wiki/Q631877', 'display_name': 'RuleML', 'level': 5, 'score': 0.5756628}, {'id': 'https://openalex.org/C50382505', 'wikidata': 'https://www.wikidata.org/wiki/Q2553356', 'display_name': 'OWL-S', 'level': 4, 'score': 0.5528705}, {'id': 'https://openalex.org/C25810664', 'wikidata': 'https://www.wikidata.org/wiki/Q44325', 'display_name': 'Ontology', 'level': 2, 'score': 0.551945}, {'id': 'https://openalex.org/C128838566', 'wikidata': 'https://www.wikidata.org/wiki/Q275603', 'display_name': 'Logic programming', 'level': 2, 'score': 0.5506892}, {'id': 'https://openalex.org/C2129575', 'wikidata': 'https://www.wikidata.org/wiki/Q54837', 'display_name': 'Semantic Web', 'level': 2, 'score': 0.5417678}, {'id': 'https://openalex.org/C87117476', 'wikidata': 'https://www.wikidata.org/wiki/Q362383', 'display_name': 'Cardinality (data modeling)', 'level': 2, 'score': 0.4982965}, {'id': 'https://openalex.org/C127001435', 'wikidata': 'https://www.wikidata.org/wiki/Q7595770', 'display_name': 'Stable model semantics', 'level': 4, 'score': 0.49322027}, {'id': 'https://openalex.org/C184337299', 'wikidata': 'https://www.wikidata.org/wiki/Q1437428', 'display_name': 'Semantics (computer science)', 'level': 2, 'score': 0.42602775}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.34495938}, {'id': 'https://openalex.org/C77088390', 'wikidata': 'https://www.wikidata.org/wiki/Q8513', 'display_name': 'Database', 'level': 1, 'score': 0.20538786}, {'id': 'https://openalex.org/C167379230', 'wikidata': 'https://www.wikidata.org/wiki/Q1026884', 'display_name': 'Semantic Web Stack', 'level': 3, 'score': 0.2039341}, {'id': 'https://openalex.org/C136764020', 'wikidata': 'https://www.wikidata.org/wiki/Q466', 'display_name': 'World Wide Web', 'level': 1, 'score': 0.157128}, {'id': 'https://openalex.org/C148792806', 'wikidata': 'https://www.wikidata.org/wiki/Q7449046', 'display_name': 'Semantic analytics', 'level': 4, 'score': 0.13691634}, {'id': 'https://openalex.org/C8797682', 'wikidata': 'https://www.wikidata.org/wiki/Q2115', 'display_name': 'XML', 'level': 2, 'score': 0.121628255}, {'id': 'https://openalex.org/C203659156', 'wikidata': 'https://www.wikidata.org/wiki/Q6934805', 'display_name': 'Multimodal logic', 'level': 3, 'score': 0.087908745}, {'id': 'https://openalex.org/C45874996', 'wikidata': 'https://www.wikidata.org/wiki/Q37045', 'display_name': 'Markup language', 'level': 3, 'score': 0.08445141}, {'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': 2, 'locations': [{'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/0711.3419', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://api.datacite.org/dois/10.48550/arxiv.0711.3419', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4393179698', 'display_name': 'DataCite API', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I4210145204', 'host_organization_name': 'DataCite', 'host_organization_lineage': ['https://openalex.org/I4210145204'], 'host_organization_lineage_names': ['DataCite'], 'type': 'metadata'}, 'license': None, 'license_id': None, 'version': None}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/0711.3419', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/4', 'display_name': 'Quality education', 'score': 0.51}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 5, 'referenced_works': ['https://openalex.org/W1482090628', 'https://openalex.org/W1559402073', 'https://openalex.org/W2051790368', 'https://openalex.org/W2952727465', 'https://openalex.org/W84120850'], 'related_works': ['https://openalex.org/W845552570', 'https://openalex.org/W3202202588', 'https://openalex.org/W2950149666', 'https://openalex.org/W2501878697', 'https://openalex.org/W2495407716', 'https://openalex.org/W2475889485', 'https://openalex.org/W2103446159', 'https://openalex.org/W2071778829', 'https://openalex.org/W1968976977', 'https://openalex.org/W1582258607'], 'abstract_inverted_index': {'To': [0], 'appear': [1], 'in': [2, 121, 142], 'Theory': [3], 'and': [4, 19, 34, 45, 56, 74, 83, 131, 133, 157], 'Practice': [5], 'of': [6, 23, 51, 79, 87, 95, 117], 'Logic': [7], 'Programming': [8], '(TPLP),': [9], '2008.': [10], 'We': [11, 97], 'are': [12, 62], 'researching': [13], 'the': [14, 17, 20, 24, 64, 93, 101, 108, 118, 143], 'interaction': [15], 'between': [16], 'rule': [18, 36], 'ontology': [21, 53], 'layers': [22], 'Semantic': [25], 'Web,': [26], 'by': [27, 76], 'comparing': [28], 'two': [29], 'options:': [30], '1)': [31], 'using': [32], 'OWL': [33], 'its': [35], 'extension': [37], 'SWRL': [38], 'to': [39, 103], 'develop': [40], 'an': [41, 52], 'integrated': [42], 'ontology/rule': [43], 'language,': [44], '2)': [46], 'layering': [47], 'rules': [48, 89], 'on': [49, 72, 107], 'top': [50], 'with': [54, 140], 'RuleML': [55], 'OWL.': [57, 96], 'Toward': [58], 'this': [59], 'end,': [60], 'we': [61, 150], 'developing': [63], 'SWORIER': [65], 'system,': [66], 'which': [67], 'enables': [68], 'efficient': [69], 'automated': [70], 'reasoning': [71], 'ontologies': [73], 'rules,': [75], 'translating': [77], 'all': [78], 'them': [80], 'into': [81], 'Prolog': [82], 'adding': [84], 'a': [85], 'set': [86], 'general': [88], 'that': [90], 'properly': [91], 'capture': [92], 'semantics': [94], 'have': [98], 'also': [99], 'enabled': [100], 'user': [102], 'make': [104], 'dynamic': [105], 'changes': [106], 'fly,': [109], 'at': [110], 'run': [111], 'time.': [112], 'This': [113], 'work': [114], 'addresses': [115], 'several': [116], 'concerns': [119], 'expressed': [120], 'previous': [122], 'work,': [123], 'such': [124], 'as': [125], 'negation,': [126], 'complementary': [127], 'classes,': [128], 'disjunctive': [129], 'heads,': [130], 'cardinality,': [132], 'it': [134], 'discusses': [135], 'alternative': [136], 'approaches': [137], 'for': [138, 148], 'dealing': [139], 'inconsistencies': [141], 'knowledge': [144], 'base.': [145], 'In': [146], 'addition,': [147], 'efficiency,': [149], 'implemented': [151], 'techniques': [152], 'called': [153], 'extensionalization,': [154], 'avoiding': [155], 'reanalysis,': [156], 'code': [158], 'minimization.': [159]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2950149666', 'counts_by_year': [], 'updated_date': '2024-08-21T14:45:52.432512', 'created_date': '2019-06-27'}