default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBijan Parsia
Person information
- affiliation: University of Manchester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j25]Heng Zhang, Bijan Parsia, Ellen Poliakoff, Simon Harper:
Tracking social behaviour with smartphones in people with Parkinson's: a longitudinal study. Behav. Inf. Technol. 43(11): 2323-2342 (2024)- [c173]Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler:
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond). AAAI 2024: 10581-10588 - [c172]Martina Ruocco
, Caroline Jay, Bijan Parsia:
A Qualitative Study of Human Theorizing about Robot Bodily Behavior. CHI Extended Abstracts 2024: 21:1-21:11 - 2023
- [j24]Heng Zhang, Ahmed Ibrahim, Bijan Parsia, Ellen Poliakoff, Simon Harper:
Passive social sensing with smartphones: a systematic review. Computing 105(1): 29-51 (2023) - [c171]Niels Peek, Charlotte Stockton-Powdrell, Alexander J. Casson, Matthew Sperrin, Bijan Parsia, Andrea Manca, Cynthia Iglesias, Ibrahim Habli, Lamiece Hassan, Steven Antrobus, Matthew Machin:
Applying Team Science to Collaborative Digital Health Research: Learnings from the Wearable Clinic. MedInfo 2023: 374-378 - [i3]Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler:
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and beyond). CoRR abs/2312.10857 (2023) - 2022
- [c170]Haoruo Zhao, Bijan Parsia, Uli Sattler:
Next Steps for ReAD: Modules for Classification Optimisation. Description Logics 2022 - 2021
- [j23]Ghader Kurdi, Jared Leo, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler, Sophie Forge, Gina Donato, Will Dowling:
A comparative study of methods for a priori prediction of MCQ difficulty. Semantic Web 12(3): 449-465 (2021) - [c169]David Toluhi, Renate A. Schmidt, Bijan Parsia:
Concept Description and Definition Extraction for the ANEMONE System. EMAS@AAMAS 2021: 352-372 - [c168]Haoruo Zhao, Bijan Parsia, Uli Sattler:
ReAD: AD-Based Modular Ontology Classification. JELIA 2021: 210-224 - [c167]Christian Kindermann, Bijan Parsia, Uli Sattler:
Encoding Repetitive Structures in Ontologies. WOP (Book) 2021: 204-226 - [c166]Christian Kindermann, Bijan Parsia, Uli Sattler:
Syntactic Regularities Based on Language Abstractions. WOP (Book) 2021: 312-330 - [c165]Dario Panada, Bijan Parsia:
The Trap of 2D in Artificial Models of Tumours: The Case for 3D In-silico Simulations. SIMULTECH 2021: 239-247 - 2020
- [j22]Ghader Kurdi, Jared Leo, Bijan Parsia, Uli Sattler, Salam Al-Emari:
A Systematic Review of Automatic Question Generation for Educational Purposes. Int. J. Artif. Intell. Educ. 30(1): 121-204 (2020) - [j21]Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao:
Modular Structures and Atomic Decomposition in Ontologies. J. Artif. Intell. Res. 69: 963-1021 (2020) - [j20]Jared Leo, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia:
A systematic survey of temporal requirements of bio-health ontologies. Semantic Web 11(4): 657-688 (2020) - [c164]Haoruo Zhao, Bijan Parsia, Uli Sattler:
ReAD: Delegate OWL Reasoners for Ontology Classification with Atomic Decomposition. JOWO 2020 - [c163]Christian Kindermann, Bijan Parsia, Uli Sattler:
Prevalence and Effects of Class Hierarchy Precompilation in Biomedical Ontologies. ISWC (1) 2020: 330-348
2010 – 2019
- 2019
- [j19]Jared Leo, Ghader Kurdi, Nicolas Matentzoglu, Bijan Parsia, Ulrike Sattler, Sophie Forge, Gina Donato, Will Dowling:
Ontology-Based Generation of Medical, Multi-term MCQs. Int. J. Artif. Intell. Educ. 29(2): 145-188 (2019) - [c162]William Hulme, Charlotte Stockton-Powdrell, Shôn Lewis, Glen P. Martin, Sandra Bucci, Bijan Parsia, Alexander J. Casson, Ibrahim Habli, Niels Peek:
Cluster Hidden Markov Models: An Application to Ecological Momentary Assessment of Schizophrenia. CBMS 2019: 99-103 - [c161]Christian Kindermann, Bijan Parsia, Uli Sattler:
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. Description Logics 2019 - [c160]Haoruo Zhao, Uli Sattler, Bijan Parsia:
Avoiding Subsumption Tests During Classification Using the Atomic Decomposition. Description Logics 2019 - [c159]Christian Kindermann, Bijan Parsia, Uli Sattler:
Comparing Approaches for Capturing Repetitive Structures in Ontology Design Patterns. WOP@ISWC 2019: 17-31 - [c158]Christian Kindermann, Bijan Parsia, Uli Sattler:
Detecting Influences of Ontology Design Patterns in Biomedical Ontologies. ISWC (1) 2019: 311-328 - 2018
- [j18]Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
OWL Reasoning: Subsumption Test Hardness and Modularity. J. Autom. Reason. 60(4): 385-419 (2018) - 2017
- [j17]Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller:
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. J. Autom. Reason. 59(4): 455-482 (2017) - [c157]Mercedes Argüello Casteleiro, Dmitry Tsarkov, Bijan Parsia, Ulrike Sattler:
Using Semantic Web Technologies to Underpin the SNOMED CT Query Language. SGAI Conf. 2017: 217-231 - 2016
- [j16]Tahani Alsubait, Bijan Parsia, Ulrike Sattler:
Ontology-Based Multiple Choice Question Generation. Künstliche Intell. 30(2): 183-188 (2016) - [c156]Ghader Kurdi, Bijan Parsia, Uli Sattler:
An Experimental Evaluation of Automatically Generated Multiple Choice Questions from Ontologies. OWLED 2016: 24-39 - [c155]Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller:
The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC (2) 2016: 159-167 - [e11]Heiko Paulheim, Jens Lehmann, Vojtech Svátek, Craig A. Knoblock, Matthew Horridge, Patrick Lambrix, Bijan Parsia:
Joint Proceedings of the 5th Workshop on Data Mining and Knowledge Discovery meets Linked Open Data and the 1st International Workshop on Completing and Debugging the Semantic Web (Know@LOD-2016, CoDeS-2016) co-located with 13th ESWC 2016, Heraklion, Greece, May 30th, 2016. CEUR Workshop Proceedings 1586, CEUR-WS.org 2016 [contents] - 2015
- [c154]Nicolas Matentzoglu, Uli Sattler, Bijan Parsia:
Empirical Investigation of Subsumption Test Hardness in Description Logic Classification. Description Logics 2015 - [c153]Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia:
Verifying Reasoner Correctness - A Justication Based Method. ORE 2015: 46-52 - [c152]Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia:
A Survey of Current, Stand-alone OWL Reasoners. ORE 2015: 68-79 - [c151]Tahani Alsubait, Bijan Parsia, Uli Sattler:
A Similarity Based Approach to Omission Finding in Ontologies. OWLED 2015: 21-32 - [c150]Bijan Parsia, Tahani Alsubait, Jared Leo, Véronique Malaisé, Sophie Forge, Michelle L. Gregory, Andrew Allen:
Lifting EMMeT to OWL Getting the Most from SKOS. OWLED 2015: 69-80 - [c149]Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller:
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. SSWS@ISWC 2015: 2-15 - [c148]Michael Lee, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. ISWC (2) 2015: 393-408 - [e10]Michel Dumontier, Birte Glimm, Rafael S. Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos B. Stamou, Giorgos Stoilos:
Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015. CEUR Workshop Proceedings 1387, CEUR-WS.org 2015 [contents] - 2014
- [c147]Matthew Horridge, Bijan Parsia, Natasha F. Noy, Mark A. Musen:
Reasoning Based Quality Assurance of Medical Ontologies: A Case Study. AMIA 2014 - [c146]Matthew Horridge, Sebastian Brandt, Bijan Parsia, Alan L. Rector:
A Domain Specific Ontology Authoring Environment for a Clinical Documentation System. CBMS 2014: 329-334 - [c145]Mercedes Argüello Casteleiro, Nicolas Matentzoglu, Bijan Parsia, Sebastian Brandt:
Computable Declarative Representation of Clinical Assessment Scales in EHRs. CBMS 2014: 341-346 - [c144]Cornelia Hedeler, Bijan Parsia, Sebastian Brandt:
Estimating and Analysing Coordination in Medical Terminologies. CBMS 2014: 357-362 - [c143]Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? Description Logics 2014: 365-377 - [c142]Jared Leo, Ulrike Sattler, Bijan Parsia:
Temporalising EL Concepts with Time Intervals. Description Logics 2014: 620-632 - [c141]Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies. Description Logics 2014: 659-670 - [c140]Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring Similarity in Ontologies: A New Family of Measures. EKAW 2014: 13-25 - [c139]Tahani Alsubait, Bijan Parsia, Uli Sattler:
Generating Multiple Choice Questions From Ontologies: How Far Can We Go? EKAW (Satellite Events) 2014: 66-79 - [c138]Nicolas Matentzoglu, Bijan Parsia:
OWL/ZIP: Distributing Large and Modular Ontologies. OWLED 2014: 37-48 - [c137]Nicolas Matentzoglu, Bijan Parsia:
The OWL Full/DL Gap in the Field. OWLED 2014: 49-60 - [c136]Tahani Alsubait, Bijan Parsia, Uli Sattler:
Generating Multiple Choice Questions From Ontologies: Lessons Learnt. OWLED 2014: 73-84 - [c135]Matthew Horridge, Jonathan Mortensen, Bijan Parsia, Ulrike Sattler, Mark A. Musen:
A Study on the Atomic Decomposition of Ontologies. ISWC (2) 2014: 65-80 - [c134]Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring similarity in ontologies: a new family of measures. ISWC (Posters & Demos) 2014: 225-228 - [c133]Nicolas Matentzoglu, Daniel Tang, Bijan Parsia, Uli Sattler:
The Manchester OWL Repository: System Description. ISWC (Posters & Demos) 2014: 285-288 - [c132]Cornelia Hedeler, Bijan Parsia, Brigitte Mathiak:
Using the semantic web for author disambiguation - are we there yet? ISWC (Posters & Demos) 2014: 449-452 - [e9]Patrick Lambrix, Guilin Qi, Matthew Horridge, Bijan Parsia:
Proceedings of the Third International Workshop on Debugging Ontologies and Ontology Mappings, WoDOOM 2014, co-located with 11th Extended Semantic Web Conference (ESWC 2014), Anissaras/Hersonissou, Greece, May 26, 2014. CEUR Workshop Proceedings 1162, CEUR-WS.org 2014 [contents] - [e8]Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller:
Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014. CEUR Workshop Proceedings 1207, CEUR-WS.org 2014 [contents] - 2013
- [j15]Matthew Horridge, Samantha Bail, Bijan Parsia, Uli Sattler:
Toward cognitive support for OWL justifications. Knowl. Based Syst. 53: 66-79 (2013) - [c131]Samantha Bail, Bijan Parsia, Ulrike Sattler:
The logical diversity of explanations in OWL ontologies. CIKM 2013: 559-568 - [c130]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov:
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics 2013: 144-155 - [c129]Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
The Empirical Robustness of Description Logic Classification. Description Logics 2013: 197-208 - [c128]Nicolas Matentzoglu, Samantha Bail, Bijan Parsia:
A Corpus of OWL DL Ontologies. Description Logics 2013: 829-841 - [c127]Maria Copeland, Rafael S. Gonçalves, Bijan Parsia, Uli Sattler, Robert Stevens:
Finding fault: detecting issues in a versioned ontology. WoDOOM 2013: 9-20 - [c126]Maria Copeland, Rafael S. Gonçalves, Bijan Parsia, Uli Sattler, Robert Stevens:
Finding Fault: Detecting Issues in a Versioned Ontology. ESWC (Satellite Events) 2013: 113-124 - [c125]Rafael S. Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov:
OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. ORE 2013: 1-18 - [c124]Pavel Klinov, Bijan Parsia:
Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability. URSW (LNCS Vol.) 2013: 41-58 - [c123]Rafael S. Gonçalves, Bijan Parsia, Uli Sattler:
Comparing Ontologies with ecco. ISWC (Posters & Demos) 2013: 49-52 - [c122]Pavel Klinov, Bijan Parsia:
Pronto: A Practical Probabilistic Description Logic Reasoner. URSW (LNCS Vol.) 2013: 59-79 - [c121]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov:
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) 2013: 84-100 - [c120]Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
The Empirical Robustness of Description Logic Classification. ISWC (Posters & Demos) 2013: 277-280 - [c119]Nicolas Matentzoglu, Samantha Bail, Bijan Parsia:
A Snapshot of the OWL Web. ISWC (1) 2013: 331-346 - [c118]Mercedes Argüello Casteleiro, Nicolas Matentzoglu, Bijan Parsia, Sebastian Brandt:
Computable Declarative Representation of Clinical Assessment Scales in EHRs. SWAT4LS 2013 - [c117]Cornelia Hedeler, Bijan Parsia, Sebastian Brandt:
Estimating Coordination in Medical Terminologies. SWAT4LS 2013 - [e7]Patrick Lambrix, Guilin Qi, Matthew Horridge, Bijan Parsia:
Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mappings, Montpellier, France, May 27, 2013. CEUR Workshop Proceedings 999, CEUR-WS.org 2013 [contents] - [e6]Samantha Bail, Birte Glimm, Rafael S. Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia:
Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013. CEUR Workshop Proceedings 1015, CEUR-WS.org 2013 [contents] - 2012
- [c116]Samantha Bail, Bijan Parsia, Ulrike Sattler:
Diversity of Reason: Equivalence Relations over Description Logic Explanations. Description Logics 2012 - [c115]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Concept-Based Semantic Difference in Expressive Description Logics. Description Logics 2012 - [c114]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler:
Logical Relevance in Ontologies. Description Logics 2012 - [c113]Samantha Bail, Bijan Parsia, Ulrike Sattler:
Declutter Your Justifications: Determining Similarity Between OWL Explanations. WoDOOM@EKAW 2012: 13-24 - [c112]Patrice Seyed, Alan L. Rector, Uli Sattler, Bijan Parsia, Robert Stevens:
Representation of Part-Whole Relationships in SNOMED CT. ICBO 2012 - [c111]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Masking in Ontologies. KR 2012 - [c110]Tahani Alsubait, Bijan Parsia, Ulrike Sattler:
Mining Ontologies for Analogy Questions: A Similarity-based Approach. OWLED 2012 - [c109]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Ecco: A Hybrid Diff Tool for OWL 2 ontologies. OWLED 2012 - [c108]Colin Puleston, Bijan Parsia:
The HOBO Hybrid Modelling Framework. OWLED 2012 - [c107]Samantha Bail, Sandra Alkiviadous, Bijan Parsia, David Workman, Mark van Harmelen, Rafael S. Gonçalves, Cristina Garilao:
FishMark: A Linked Data Application Benchmark. SSWS+HPCSW@ISWC 2012: 1-15 - [c106]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies. ISWC (1) 2012: 82-98 - [c105]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Concept-Based Semantic Difference in Expressive Description Logics. ISWC (1) 2012: 99-115 - [c104]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Extracting Justifications from BioPortal Ontologies. ISWC (2) 2012: 287-299 - [c103]Norman W. Paton, Klitos Christodoulou, Alvaro A. A. Fernandes, Bijan Parsia, Cornelia Hedeler:
Pay-as-you-go data integration for linked data: opportunities, challenges and architectures. SWIM 2012: 3 - [c102]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov:
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO 2012 - [i2]Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov:
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR abs/1207.1641 (2012) - 2011
- [j14]Pavel Klinov, Bijan Parsia, David Picado-Muiño:
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach. J. Inf. Technol. Res. 4(1): 1-20 (2011) - [c101]Pavel Klinov, Bijan Parsia:
A Hybrid Method for Probabilistic Satisfiability. CADE 2011: 354-368 - [c100]Christoph Frenzel, Bijan Parsia, Ulrike Sattler, Bernhard Bauer:
Mooop - A Hybrid Integration of OWL and Java. CAiSE Workshops 2011: 437-447 - [c99]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Analysing the evolution of the NCI Thesaurus. CBMS 2011: 1-6 - [c98]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Categorising logical differences between OWL ontologies. CIKM 2011: 1541-1546 - [c97]Samantha Bail, Bijan Parsia, Ulrike Sattler:
Extracting Finite Sets of Entailments from OWL Ontologies. Description Logics 2011 - [c96]Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus. Description Logics 2011 - [c95]Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Cognitive Complexity of OWL Justifications. Description Logics 2011 - [c94]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler:
Topicality in Logic-Based Ontologies. ICCS 2011: 187-200 - [c93]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The Modular Structure of an Ontology: Atomic Decomposition. IJCAI 2011: 2232-2237 - [c92]Pavel Klinov, Bijan Parsia:
Representing Sampling Distributions in P-SROIQ. URSW 2011: 39-50 - [c91]Samantha Bail, Matthew Horridge, Bijan Parsia, Ulrike Sattler:
The Justificatory Structure of the NCBO BioPortal Ontologies. ISWC (1) 2011: 67-82 - [c90]Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget:
Decomposition and Modular Structure of BioPortal Ontologies. ISWC (1) 2011: 130-145 - [c89]Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Cognitive Complexity of OWL Justifications. ISWC (1) 2011: 241-256 - [c88]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The Modular Structure of an Ontology: Atomic Decomposition and Module Count. WoMO 2011: 25-39 - [e5]Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan:
The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Lecture Notes in Computer Science 6643, Springer 2011, ISBN 978-3-642-21033-4 [contents] - [e4]Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Z. Pan:
The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6644, Springer 2011, ISBN 978-3-642-21063-1 [contents] - 2010
- [c87]Pavel Klinov, Bijan Parsia:
Relationships Between Probabilistic Description and First-Order Logics. UniDL 2010 - [c86]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Masking in OWL. Description Logics 2010 - [c85]Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
The modular structure of an ontology: an empirical study. Description Logics 2010 - [c84]Matthew Horridge, Bijan Parsia:
From Justifications Towards Proofs for Ontology Engineering. KR 2010 - [c83]Bijan Parsia, Thomas Schneider:
The Modular Structure of an Ontology: An Empirical Study. KR 2010 - [c82]Pavel Klinov, Bijan Parsia:
Implementing an Efficient SAT Solver for a Probabilistic Description Logic. IWIL@LPAR 2010: 48-63 - [c81]Pavel Klinov, Bijan Parsia, David Picado-Muiño:
The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. LPAR (Yogyakarta) 2010: 432-446 - [c80]Samantha Bail, Bijan Parsia, Ulrike Sattler:
The Justificatory Structure of OWL Ontologies. OWLED 2010 - [c79]Samantha Bail, Bijan Parsia, Ulrike Sattler:
JustBench: A Framework for OWL Benchmarking. ISWC (1) 2010: 32-47 - [c78]Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Oriented Proofs in OWL. ISWC (1) 2010: 354-369 - [c77]