Bijan Parsia
43 publications
11 venues
H Index 26
Affiliation
University of Manchester, UKLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond).
|
AAAI | 2024 | 0 |
| ReAD: AD-Based Modular Ontology Classification.
|
JELIA | 2021 | 1 |
| Modular Structures and Atomic Decomposition in Ontologies.
|
JAIR | 2020 | 10 |
| Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies.
|
ISWC | 2020 | 0 |
| Detecting Influences of Ontology Design Patterns in Biomedical Ontologies.
|
ISWC | 2019 | 3 |
| The OWL Reasoner Evaluation (ORE) 2015 Resources.
|
ISWC | 2016 | 10 |
| A Multi-reasoner, Justification-Based Approach to Reasoner Correctness.
|
ISWC | 2015 | 12 |
| A Study on the Atomic Decomposition of Ontologies.
|
ISWC | 2014 | 8 |
| The logical diversity of explanations in OWL ontologies.
|
CIKM | 2013 | 5 |
| A Snapshot of the OWL Web.
|
ISWC | 2013 | 52 |
| Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
|
ISWC | 2013 | 30 |
| Justification Masking in Ontologies.
|
KR | 2012 | 13 |
| Extracting Justifications from BioPortal Ontologies.
|
ISWC | 2012 | 33 |
| Concept-Based Semantic Difference in Expressive Description Logics.
|
ISWC | 2012 | 11 |
| Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies.
|
ISWC | 2012 | 54 |
| Categorising logical differences between OWL ontologies.
|
CIKM | 2011 | 29 |
| A Hybrid Method for Probabilistic Satisfiability.
|
CADE | 2011 | 17 |
| The Justificatory Structure of the NCBO BioPortal Ontologies.
|
ISWC | 2011 | 21 |
| The Cognitive Complexity of OWL Justifications.
|
ISWC | 2011 | 56 |
| Decomposition and Modular Structure of BioPortal Ontologies.
|
ISWC | 2011 | 50 |
| The Modular Structure of an Ontology: Atomic Decomposition.
|
IJCAI | 2011 | 115 |
| The Modular Structure of an Ontology: An Empirical Study.
|
KR | 2010 | 39 |
| Justification Oriented Proofs in OWL.
|
ISWC | 2010 | 59 |
| From Justifications Towards Proofs for Ontology Engineering.
|
KR | 2010 | 7 |
| JustBench: A Framework for OWL Benchmarking.
|
ISWC | 2010 | 29 |
| Laconic and Precise Justifications in OWL.
|
ISWC | 2008 | 258 |
| Integrating Object-Oriented and Ontological Representations: A Case Study in Java and OWL.
|
ISWC | 2008 | 46 |
| Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach.
|
ISWC | 2008 | 39 |
| Analyzing web access control policies.
|
WWW | 2007 | 221 |
| Repairing Unsatisfiable Concepts in OWL Ontologies.
|
ESWC | 2006 | 238 |
| A Survey of the Web Ontology Landscape.
|
ISWC | 2006 | 135 |
| From Wine to Water: Optimizing Description Logic Reasoning for Nominals.
|
KR | 2006 | 62 |
| CropCircles: Topology Sensitive Visualization of OWL Class Hierarchies.
|
ISWC | 2006 | 98 |
| Modularity and Web Ontologies.
|
KR | 2006 | 160 |
| Integrating Datalog with OWL: Exploring the AL-log Approach.
|
ICLP | 2006 | 7 |
| Debugging OWL ontologies.
|
WWW | 2005 | 280 |
| Generalized Link Properties for Expressive epsilon-Connections of Description Logics.
|
AAAI | 2005 | 9 |
| Representing Web Service Policies in OWL-DL.
|
ISWC | 2005 | 90 |
| Working with Multiple Ontologies on the Semantic Web.
|
ISWC | 2004 | 141 |
| Information Gathering During Planning for Web Service Composition.
|
ISWC | 2004 | 167 |
| A Semantic Web Resource Protocol: XPointer and HTTP.
|
ISWC | 2004 | 2 |
| Task Computing - The Semantic Web Meets Pervasive Computing.
|
ISWC | 2003 | 180 |
| Automating DAML-S Web Services Composition Using SHOP2.
|
ISWC | 2003 | 485 |