Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"University of Manchester" +contributor:("Parsia, Bijan"). Showing records 1 – 8 of 8 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Del Vescovo, Chiara. The Modular Structure of an Ontology: Atomic Decomposition and its Applications.

Degree: 2013, University of Manchester

 Ontologies are descriptions of the knowledge about a domain of interest encoded in computer processable languages, e.g., Description Logics, which aredecidable fragments of First Order… (more)

Subjects/Keywords: Ontologies; Modularity; Modular Structure

…x28;the “Copyright”) and s/he has given The University of Manchester certain rights to… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Del Vescovo, C. (2013). The Modular Structure of an Ontology: Atomic Decomposition and its Applications. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:194092

Chicago Manual of Style (16th Edition):

Del Vescovo, Chiara. “The Modular Structure of an Ontology: Atomic Decomposition and its Applications.” 2013. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:194092.

MLA Handbook (7th Edition):

Del Vescovo, Chiara. “The Modular Structure of an Ontology: Atomic Decomposition and its Applications.” 2013. Web. 25 Jun 2019.

Vancouver:

Del Vescovo C. The Modular Structure of an Ontology: Atomic Decomposition and its Applications. [Internet] [Doctoral dissertation]. University of Manchester; 2013. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:194092.

Council of Science Editors:

Del Vescovo C. The Modular Structure of an Ontology: Atomic Decomposition and its Applications. [Doctoral Dissertation]. University of Manchester; 2013. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:194092

2. Leo, Jared Levi Jordan. Capturing Temporal Aspects of Bio-Health Ontologies.

Degree: 2016, University of Manchester

 Extending Descriptions Logics (DLs) with a temporal dimension to aid in the ability to model meaningful temporal information is an active and popular research area… (more)

Subjects/Keywords: temporal logic; description logic; bio-health; ontology

…Bio-Health Ontologies Jared Leo A thesis submitted to the University of Manchester for the… …x28;the “Copyright”) and s/he has given The University of Manchester certain rights to… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Leo, J. L. J. (2016). Capturing Temporal Aspects of Bio-Health Ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949

Chicago Manual of Style (16th Edition):

Leo, Jared Levi Jordan. “Capturing Temporal Aspects of Bio-Health Ontologies.” 2016. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949.

MLA Handbook (7th Edition):

Leo, Jared Levi Jordan. “Capturing Temporal Aspects of Bio-Health Ontologies.” 2016. Web. 25 Jun 2019.

Vancouver:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949.

Council of Science Editors:

Leo JLJ. Capturing Temporal Aspects of Bio-Health Ontologies. [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:305949

3. Copeland, Maria Fernanda. VERSION ANALYSIS FOR FAULT DETECTION IN OWL ONTOLOGIES.

Degree: 2016, University of Manchester

Understanding changes in an ontology is becoming an active topic of interest to ontology engineers because of the increasing number of requirements to better support… (more)

…x28;the “Copyright”) and s/he has given The University of Manchester certain rights to… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Copeland, M. F. (2016). VERSION ANALYSIS FOR FAULT DETECTION IN OWL ONTOLOGIES. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:296111

Chicago Manual of Style (16th Edition):

Copeland, Maria Fernanda. “VERSION ANALYSIS FOR FAULT DETECTION IN OWL ONTOLOGIES.” 2016. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:296111.

MLA Handbook (7th Edition):

Copeland, Maria Fernanda. “VERSION ANALYSIS FOR FAULT DETECTION IN OWL ONTOLOGIES.” 2016. Web. 25 Jun 2019.

Vancouver:

Copeland MF. VERSION ANALYSIS FOR FAULT DETECTION IN OWL ONTOLOGIES. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:296111.

Council of Science Editors:

Copeland MF. VERSION ANALYSIS FOR FAULT DETECTION IN OWL ONTOLOGIES. [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:296111

4. Goncalves, Joao Rafael Landeiro De sousa. Impact Analysis in Description Logic Ontologies.

Degree: 2014, University of Manchester

 With the growing popularity of the Web Ontology Language (OWL) as a logic-based ontology language, as well as advancements in the language itself, the need… (more)

Subjects/Keywords: OWL; Ontologies; Web Ontology Language; Description Logics; Automated Reasoning; Diff; Reasoner Performance; Impact Analysis

…x29; and s/he has given The University of Manchester certain rights to use such Copyright… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Goncalves, J. R. L. D. s. (2014). Impact Analysis in Description Logic Ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:220347

Chicago Manual of Style (16th Edition):

Goncalves, Joao Rafael Landeiro De sousa. “Impact Analysis in Description Logic Ontologies.” 2014. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:220347.

MLA Handbook (7th Edition):

Goncalves, Joao Rafael Landeiro De sousa. “Impact Analysis in Description Logic Ontologies.” 2014. Web. 25 Jun 2019.

Vancouver:

Goncalves JRLDs. Impact Analysis in Description Logic Ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2014. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:220347.

Council of Science Editors:

Goncalves JRLDs. Impact Analysis in Description Logic Ontologies. [Doctoral Dissertation]. University of Manchester; 2014. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:220347

5. Horridge, Matthew. Justification Based Explanation in Ontologies.

Degree: 2011, University of Manchester

 The Web Ontology Language, OWL, is the latest standard in logic based ontology languages. It is built upon the foundations of highly expressive Description Logics,… (more)

Subjects/Keywords: Justifications; Explanation; Ontologies

…any copyright in it (the “Copyright”) and s/he has given The University of… …Manchester the right to use such Copyright for any administrative, promotional, educational and/or… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Horridge, M. (2011). Justification Based Explanation in Ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:131699

Chicago Manual of Style (16th Edition):

Horridge, Matthew. “Justification Based Explanation in Ontologies.” 2011. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:131699.

MLA Handbook (7th Edition):

Horridge, Matthew. “Justification Based Explanation in Ontologies.” 2011. Web. 25 Jun 2019.

Vancouver:

Horridge M. Justification Based Explanation in Ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:131699.

Council of Science Editors:

Horridge M. Justification Based Explanation in Ontologies. [Doctoral Dissertation]. University of Manchester; 2011. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:131699


University of Manchester

6. Klinov, Pavel. Practical Reasoning in Probabilistic Description Logic.

Degree: 2011, University of Manchester

 Description Logics (DLs) form a family of languages which correspond to decidable fragments of First-Order Logic (FOL). They have been overwhelmingly successful for constructing ontologies—conceptual… (more)

Subjects/Keywords: Description logic; Probability; Automated reasoning; Ontology; Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Klinov, P. (2011). Practical Reasoning in Probabilistic Description Logic. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054

Chicago Manual of Style (16th Edition):

Klinov, Pavel. “Practical Reasoning in Probabilistic Description Logic.” 2011. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054.

MLA Handbook (7th Edition):

Klinov, Pavel. “Practical Reasoning in Probabilistic Description Logic.” 2011. Web. 25 Jun 2019.

Vancouver:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054.

Council of Science Editors:

Klinov P. Practical Reasoning in Probabilistic Description Logic. [Doctoral Dissertation]. University of Manchester; 2011. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:125054


University of Manchester

7. Matentzoglu, Nicolas Alexander. Module-based classification of OWL ontologies.

Degree: 2016, University of Manchester

Classification is a core reasoning service provided by most OWL reasoners. Classification in general is hard - up to 2NExptime for SROIQ(D), the Description Logic… (more)

Subjects/Keywords: OWL; ontologies; modules; reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Matentzoglu, N. A. (2016). Module-based classification of OWL ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:294557

Chicago Manual of Style (16th Edition):

Matentzoglu, Nicolas Alexander. “Module-based classification of OWL ontologies.” 2016. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:294557.

MLA Handbook (7th Edition):

Matentzoglu, Nicolas Alexander. “Module-based classification of OWL ontologies.” 2016. Web. 25 Jun 2019.

Vancouver:

Matentzoglu NA. Module-based classification of OWL ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2016. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:294557.

Council of Science Editors:

Matentzoglu NA. Module-based classification of OWL ontologies. [Doctoral Dissertation]. University of Manchester; 2016. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:294557

8. Bail, Samantha Patricia. The Justificatory Structure of OWL Ontologies.

Degree: 2013, University of Manchester

 The Web Ontology Language OWL is based on the highly expressive description logic SROIQ, which allows OWL ontology users to employ out-of-the-box reasoners to compute… (more)

Subjects/Keywords: OWL; description logics; explanation; debugging; ontologies; Semantic Web

…copyright or related rights in it (the “Copyright”) and she has given The University of… …Manchester certain rights to use such Copyright, including for administrative purposes. ii. Copies… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bail, S. P. (2013). The Justificatory Structure of OWL Ontologies. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:204943

Chicago Manual of Style (16th Edition):

Bail, Samantha Patricia. “The Justificatory Structure of OWL Ontologies.” 2013. Doctoral Dissertation, University of Manchester. Accessed June 25, 2019. http://www.manchester.ac.uk/escholar/uk-ac-man-scw:204943.

MLA Handbook (7th Edition):

Bail, Samantha Patricia. “The Justificatory Structure of OWL Ontologies.” 2013. Web. 25 Jun 2019.

Vancouver:

Bail SP. The Justificatory Structure of OWL Ontologies. [Internet] [Doctoral dissertation]. University of Manchester; 2013. [cited 2019 Jun 25]. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:204943.

Council of Science Editors:

Bail SP. The Justificatory Structure of OWL Ontologies. [Doctoral Dissertation]. University of Manchester; 2013. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:204943

.