{"id":"https://openalex.org/W2400107973","doi":null,"title":"Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules","display_name":"Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules","publication_year":2015,"publication_date":"2015-08-02","ids":{"openalex":"https://openalex.org/W2400107973","mag":"2400107973"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-01172069v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-01172069","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01172069","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016127688","display_name":"Jean-Fran\u00e7ois Baget","orcid":"https://orcid.org/0000-0001-7221-5770","observed_orcids":["https://orcid.org/0000-0001-7221-5770"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Baget, Jean-Fran\u00e7ois","raw_affiliation_strings":["Graphs for Inferences on Knowledge"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graphs for Inferences on Knowledge","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108638089","display_name":"Alain Gutierrez","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gutierrez, Alain","raw_affiliation_strings":["Graphs for Inferences on Knowledge"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graphs for Inferences on Knowledge","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058330988","display_name":"Michel Lecl\u00e8re","orcid":"https://orcid.org/0000-0003-0484-3964","observed_orcids":["https://orcid.org/0000-0003-0484-3964"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lecl\u00e8re, Michel","raw_affiliation_strings":["Graphs for Inferences on Knowledge"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graphs for Inferences on Knowledge","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066575568","display_name":"Marie-Laure Mugnier","orcid":"https://orcid.org/0000-0002-0574-3693","observed_orcids":["https://orcid.org/0000-0002-0574-3693"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mugnier, Marie-Laure","raw_affiliation_strings":["Graphs for Inferences on Knowledge"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graphs for Inferences on Knowledge","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061949460","display_name":"Swan Rocher","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rocher, Swan","raw_affiliation_strings":["Graphs for Inferences on Knowledge"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graphs for Inferences on Knowledge","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044626221","display_name":"Cl\u00e9ment Sipieter","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sipieter, Cl\u00e9ment","raw_affiliation_strings":["Graphs for Inferences on Knowledge"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graphs for Inferences on Knowledge","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.127,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.80798604,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"CEUR Workshop Proceedings","issue":"1417","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9312000274658203,"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.9312000274658203,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.026000000536441803,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.002400000113993883,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/existential-rules","display_name":"existential rules","score":0.8389999866485596},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.8939999938011169},{"id":"https://openalex.org/keywords/ruleml","display_name":"RuleML","score":0.9869999885559082},{"id":"https://openalex.org/keywords/owl-2","display_name":"OWL 2","score":0.9990000128746033},{"id":"https://openalex.org/keywords/translation-between-formalisms","display_name":"translation between formalisms","score":0.5889999866485596},{"id":"https://openalex.org/keywords/description-logics","display_name":"description logics","score":0.6880000233650208},{"id":"https://openalex.org/keywords/rule-based-reasoning","display_name":"rule-based reasoning","score":0.5260000228881836}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9821016788482666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.822595477104187},{"id":"https://openalex.org/C196388810","wikidata":"https://www.wikidata.org/wiki/Q631877","display_name":"RuleML","level":5,"score":0.7601402997970581},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7053085565567017},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.5318004488945007},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.47344207763671875},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.4202410578727722},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.4120485782623291},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.37871330976486206},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.3249182105064392},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3146643340587616},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.28828608989715576},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2490478754043579},{"id":"https://openalex.org/C45874996","wikidata":"https://www.wikidata.org/wiki/Q37045","display_name":"Markup language","level":3,"score":0.14155861735343933},{"id":"https://openalex.org/C189139006","wikidata":"https://www.wikidata.org/wiki/Q166074","display_name":"XHTML","level":4,"score":0.0},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-01172069v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-01172069","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01172069v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-01172069","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1589124617","https://openalex.org/W2001399171","https://openalex.org/W2040566369","https://openalex.org/W2113807516","https://openalex.org/W2145813209","https://openalex.org/W2288402373","https://openalex.org/W2752197104"],"related_works":["https://openalex.org/W7100240811","https://openalex.org/W7055691065","https://openalex.org/W1491423131","https://openalex.org/W2792614959","https://openalex.org/W2144960470","https://openalex.org/W2177305980","https://openalex.org/W7100306648","https://openalex.org/W3139340598","https://openalex.org/W1544017975","https://openalex.org/W3124182552"],"abstract_inverted_index":{"This":[0],"paper":[1],"is":[2],"devoted":[3],"to":[4,21,25,53,63,77,89,93],"formats":[5],"and":[6,34,50,98],"translations":[7,87],"for":[8,38],"Datalog+.":[9,22],"We":[10,79],"first":[11],"introduce":[12],"the":[13,64,83],"dlgp":[14,62],"format,":[15],"which":[16],"extends":[17],"classical":[18],"Datalog":[19],"format":[20,45],"It":[23],"allows":[24,88],"encode":[26],"facts,":[27],"existential":[28],"rules":[29],"(including":[30],"equality),":[31],"negative":[32],"constraints":[33],"conjunctive":[35],"queries.":[36],"Moreover,":[37],"compatibility":[39],"with":[40],"Semantic":[41],"Web":[42,47],"languages,":[43],"this":[44],"includes":[46],"notions":[48],"(IRIs":[49],"literals,":[51],"according":[52],"Turtle":[54],"syntax).":[55],"Second,":[56],"we":[57,70],"define":[58,71],"a":[59,72],"translation":[60,73],"from":[61,74],"Datalog+":[65],"fragment":[66],"of":[67,85],"RuleML.":[68,94],"Third,":[69],"OWL":[75,91],"2":[76,92],"dlgp.":[78],"point":[80],"out":[81],"that":[82],"composition":[84],"both":[86],"import":[90],"The":[95],"associated":[96],"parsers":[97],"translators":[99],"are":[100],"available.":[101]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-10-25T09:29:13.331239","created_date":"2016-06-24T00:00:00"}