Peter Patel-Schneider

Peter Patel-Schneider
research category image

Main area of research
Natural language & AI

Peter Patel-Schneider is a Researcher in the Natural Language Understanding Lab. His research interest is in the area of Natural Language & AI. Currently, Peter is working on ontologies and reasoning support for conversational systems. In general, he is interested in making description logics useful in applications, as well as the theory of description logics. Patel-Schneider has made significant contributions to the fields of Web Ontology Languages, DLP (an experimental description logic system designed to allow various optimizations for description logic reasoning to be easily investigated that he developed) and the Classic group, which he lead.

Selected articles

“Reducing” CLASSIC to practice: Knowledge representation theory meets reality

Most recent key developments in research on knowledge representation (KR) have been of the more theoretical sort, involving worst-case complexity results, solutions to technical challenge

Read more

A comparison of two modelling paradigms in the semantic web

Classical logics and Datalog-related logics have both been proposed as underlying formalisms for conceptual modelling in the context of the Semantic Web. Although these two

Read more

OWL rules: A proposal and prototype implementation

Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can

Read more

From SHIQ and RDF to OWL: The making of a web ontology language

The OWL Web Ontology Language is a new formal language for representing ontologies in the Semantic Web. OWL has features from several families of representation

Read more

A new general method to generate random modal formulae for testing decision procedures

The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical

Read more


1 2 3 4