• Publications
  • Influence
OWL 2 Web Ontology Language: structural specification and functional-style syntax
The OWL 2 Web Ontology Language, informally OWL 2, is an ontology language for the Semantic Web with formally defined meaning. OWL 2 ontologies provide classes, properties, individuals, and dataExpand
  • 959
  • 96
  • Open Access
OWL 2: The next step for OWL
Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OWL has been quiteExpand
  • 823
  • 68
  • Open Access
HermiT: A Highly-Efficient OWL Reasoner
HermiT is a new OWL reasoner based on a novel “hypertableau” calculus. The new calculus addresses performance problems due to nondeterminism and model size—the primary sources of complexity inExpand
  • 447
  • 54
  • Open Access
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rulesExpand
  • 264
  • 49
  • Open Access
HermiT: An OWL 2 Reasoner
This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web Consortium (W3C). HermiT isExpand
  • 343
  • 46
  • Open Access
User-Driven Ontology Evolution Management
With rising importance of knowledge interchange, many industrial and academic applications have adopted ontologies as their conceptual backbone. However, industrial and academic environments are veryExpand
  • 411
  • 44
  • Open Access
Query Answering for OWL-DL with Rules
Both OWL-DL and function-free Horn rules are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but provides bothExpand
  • 362
  • 40
Reasoning in description logics using resolution and deductive databases
Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. The DL SHIQ(D) provides the logical underpinning for theExpand
  • 222
  • 39
  • Open Access
Hypertableau Reasoning for Description Logics
We present a novel reasoning calculus for the description logic SHOIQ+--a knowledge representation formalism with applications in areas such as the SemanticWeb. Unnecessary nondeterminism and theExpand
  • 421
  • 38
  • Open Access
Bridging the gap between OWL and relational databases
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constraints (ICs), OWL'sExpand
  • 222
  • 33
  • Open Access