scispace - formally typeset
B

Bijan Parsia

Researcher at University of Manchester

Publications -  239
Citations -  17214

Bijan Parsia is an academic researcher from University of Manchester. The author has contributed to research in topics: Ontology (information science) & Description logic. The author has an hindex of 50, co-authored 237 publications receiving 16539 citations. Previous affiliations of Bijan Parsia include University of North Carolina at Chapel Hill & University of Maryland, College Park.

Papers
More filters
Journal ArticleDOI

Pellet: A practical OWL-DL reasoner

TL;DR: Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals, user-defined datatypes, and debugging support for ontologies.

OWL 2 Web Ontology Language: structural specification and functional-style syntax

TL;DR: The OWL 2 Web Ontology Language, informally OWL2, is an ontology language for the Semantic Web with formally defined meaning.
Journal ArticleDOI

OWL 2: The next step for OWL

TL;DR: It is shown that many aspects of OWL have been thoroughly reengineered in OWL 2, thus producing a robust platform for future development of the language.
Book ChapterDOI

Bringing semantics to web services: the OWL-S approach

TL;DR: This paper shows how to use OWL-S in conjunction with Web service standards, and explains and illustrates the value added by the semantics expressed in OWl-S.
Journal ArticleDOI

HTN planning for Web Service composition using SHOP2

TL;DR: A sound and complete algorithm is provided to translate OWL-S service descriptions to a SHOP2 domain and it is proved the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWl-S.