Module Extraction for Efficient Object Queries over Ontologies with Large ABoxes

Keywords

Interdependence, Work (physics), Business, Nuclear power, Risk management

References

• Reducing SHIQ-Description Logic to Disjunctive Datalog ProgramsUllrich Hustadt, Boris Motik, Ulrike Sattler — 2004
• Reasoning with Inconsistent OntologiesZhisheng Huang, Frank van Harmelen, Annette ten Teije — 2005
• Towards ABox Modularization of semi-expressive Description LogicsSebastian Wandelt, Ralf Möller — 2012
• Partitioning ABoxes Based on Converting DL to Plain DatalogJianfeng Du, Yi-Dong Shen — 2007
• The Instance Store: DL Reasoning with Large Numbers of IndividualsIan Horrocks, Lei Li, Daniele Turi — 2004
• Conjunctive Query Answering for the Description Logic SHIQBirte Glimm, C. Lutz, I. Horrocks — 2007
• Extract ABox Modules for Efficient Ontology QueryingJia Xu, Shironoshita, Patrick, Ubbo Visser — 2013
• Foundations of Semantic Web TechnologiesHitzler, Pascal, Krotzsch, Markus, Rudolph, Sebastian — 2009
• Optimization Strategies for Instance RetrievalVolker Haarslev, Ralf Möller — 2002
• Complexity results and practical algorithms for logics in knowledge representationStephan Tobies — 2001
• A Conjunctive Query Language for Description Logic AboxesIan Horrocks, Sergio Tessaris — 2000
• Query Answering for OWL-DL with RulesBoris Motik, Ulrike Sattler, Rudi Studer — 2004
• Reasoning and Revision in Hybrid Representation SystemsBernhard Nebel — 1990
• BioPAX – A community standard for pathway data sharingEmek Demir, Michael P. Cary, Suzanne Paley — 2010
• LUBM: A benchmark for OWL knowledge base systemsYuanbo Guo, Zhengxiang Pan, Jeff Heflin — 2005
• From SHIQ and RDF to OWL: the making of a Web Ontology LanguageIan Horrocks, Peter F. Patel‐Schneider, Frank van Harmelen — 2003
• Deduction in Concept Languages: From Subsumption to Instance CheckingFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi — 1994
• Scalable reduction of large datasets to interesting subsetsGregory Todd Williams, Jesse Weaver, Medha Atre — 2010
• BioAssay Ontology (BAO): a semantic description of bioassays and high-throughput screening resultsUbbo Visser, Saminda Abeyruwan, Uma D. Vempati — 2011
• Development and evaluation of ontology for intelligent decision support in medical emergency management for mass gatheringsPari Delir Haghighi, Frada Burstein, Arkady Zaslavsky — 2013

Cited by

• Contention-conscious, locality-preserving locksMilind Chabbi, John Mellor‐Crummey — 2016
• Reasoning and querying web-scale open data based on DL-LiteA in a divide-and-conquer wayZhenzhen Gu, Songmao Zhang, Cungen Cao — 2019
• Resolution-based rewriting for Horn-SHIQ[12pt]minimal amsmath wasysym amsfonts amssymb amsbsy mathrsfs upgreek -69pt documentSHIQdocumentDespoina Trivela, Giorgos Stoilos, Alexandros Chortaras — 2019
• Parallelization of Query Processing over Expressive OntologiesE. Patrick Shironoshita, Da Zhang, Mansur R. Kabuka — 2017
• Reflections on: Reasoning and Querying Web-scale Open Data based on DL-LiteA in a Divide-and-Conquer WayZhenzhen Gu, Songmao Zhang, Cungen Cao — 2019
• A Modular Reasoning Approach to Knowledge GraphChanglong Wang, Siyun Bi, Rong Zhang — 2022
• Intention-based engineering for the early design phases and the automation of modular process plantsArtan Markaj, Alexander Fay, Nicolai Schoch — 2022
• Parallelization of Conjunctive Query Answering over OntologiesE. P. Shironoshita, Da Zhang, M. Kabuka — 2017
• Procedural framework to facilitate interoperability in the context of the Virtual Health Library of Cuba: the Ontomed modelKeilyn Rodríguez Perojo, A. Abel, L. Mederos — 2016

Related papers

• A Stakeholder Approach to Minimizing Risks in Complex ProjectsTerrance M. Skelton, Hans J. Thamhain — 2006
• Managing the Sources of Uncertainty in Technology ProjectsTerrance M. Skelton, Hans J. Thamhain — 2006
• Viewpoint: Linking Training Policy and Practice to Organizational GoalsD. O’Donnell, Thomas N. Garavan — 1997
• Managing the Achievement of Strategic Organizational Goals through Projects: Understanding the Role of Management PracticesKunal Mohan, Frederik Ahlemann — 2014
• Why do firms set environmental performance goals?: Some evidence from organizational theoryPatrick Ransom, Douglas J. Lober — 1999
• Creating and communicating organizational changeEdward J. Cripe — 1993
• Implementation Characteristics of Organizational InnovationsDOROTHY LEON ARD-BARTON — 1988
• Organizational Configurations: Implications for the Human Resource/ Personnel Management DebateJoanne Duberley, N. D. Burns — 1993
• Toward a model of the impact organisation, human and technology factors have on the effectiveness of safety management systemsEric S Wilson — 2008