• Publications
  • Influence
Web Ontology Language: OWL
This chapter analyses the limitations of RDF Schema and derive requirements for a richer Web Ontology Language, and describes the three-layered architecture of the OWL language. Expand
A semantic web primer
The third edition of this widely used text has been thoroughly updated, with significant new material that reflects a rapidly developing field. Expand
Ontology change: classification and survey
The purpose of this paper is to identify the exact relationships between these research areas and to determine the boundaries of each field, by performing a broad review of the relevant literature. Expand
Representation results for defeasible logic
The transformations described in this paper have two main benefits: on one hand they can be used as a theoretical tool that leads to a deeper understanding of the formalism, and on the other hand they have been used in the development of an efficient implementation of defeasible logic. Expand
Argumentation Semantics for Defeasible Logic
Dung-like argumentation semantics is provided for two key defeasible logics, of which one is ambiguity propagating and the other ambiguity blocking, which provides the first ambiguity blocking Dung- like argumentation system. Expand
Efficient Defeasible Reasoning Systems
It is believed that defeasible logic, with its efficiency and simplicity, is a good candidate to be used as a modeling language for practical applications, including modelling of regulations and business rules. Expand
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
This paper reports on the implementation of a system for defeasible reasoning on the Web that is syntactically compatible with RuleML, is based on a translation to logic programming with declarative semantics, and is flexible and adaptable to different intuitions within defeasibility reasoning. Expand
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
This paper proposes a solution based on the Multi-Context Systems paradigm in which local context knowledge of ambient agents is encoded in rule theories (contexts), and information flow between agents is achieved through mapping rules that associate concepts used by different contexts. Expand
Introduction to Semantic Web Ontology Languages
The aim of this chapter is to give a general introduction to some of the ontology languages that play a prominent role on the Semantic Web, and to discuss the formal foundations of these languages.Expand