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
Boris Motik,Peter F. Patel-Schneider,Bijan Parsia,C. Bock,Achille Fokoue,Peter Haase,Rinke Hoekstra,Ian Horrocks,Alan Ruttenberg,Ulrike Sattler,M. Smith +10 more
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
Bernardo Cuenca Grau,Ian Horrocks,Boris Motik,Bijan Parsia,Peter F. Patel-Schneider,Ulrike Sattler +5 more
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
David Martin,Massimo Paolucci,Sheila A. McIlraith,Mark Burstein,Drew McDermott,Deborah L. McGuinness,Bijan Parsia,Terry R. Payne,Marta Sabou,Monika Solanki,Naveen Srinivasan,Katia Sycara +11 more
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.