The OWL API A Java API for Working with OWL 2 Ontologies

Transcription

1 The OWL API A Java API for Working with OWL 2 Ontologies Matthew Horridge with special thanks to Sean Bechhofer, Ron Alford, Nick Drummond, Birte Glimm, Olaf Noppens, Ignazio Palmisano, Timothy Redmond, Thomas Schneider, Evren Sirin, and Mike Smith 1

2 2

3 The OWL API Version 1 Version 2 Version 3 OWL 1 High level syntax neutral interfaces based on the OWL Abstract Syntax All changes applied through change objects Interim OWL 2 (OWL 1.1) Shift from frame oriented model to axiom oriented model OWL 2 Close alignment with OWL 2 specification Addition of more convenience functionality 3

4 Design Philosophy OWL API Java interfaces for manipulating OWL 2 ontologies 4

5 From the Structural Specification to Java Interfaces OWLObject OWLAxiom OWLLogicalAxiom OWLClassAxiom OWLSubClassOfAxiom 5

6 Other Machinery Ontology management Creation, loading and saving of ontologies Change support Change objects for axiom addition and removal, listener support Common task support Syntactic validation, metrics, normalisation Reasoning support Common reasoner interfaces and reasoner operations 6

7 Concrete Syntaxes (Courtesy of OWL 2 Web Ontology Language Document Overview) 7

8 Alternative Storage OWLOntology OWLOntologyImpl... Main memory reference implementation 8

9 Reasoning public interface OWLReasoner { /** * Asks the reasoner to interrupt what it is currently doing. An InterruptedException will be thrown in the * thread that invoked the last reasoner operation. The OWL API is not thread safe in general, but it is likely * that this method will be called from another thread than the event dispatch thread or the thread in which * reasoning takes place. */ void interrupt(); /** * A convenience method that determines if the set of reasoner axioms (the set of axioms returned by * the {@link #getaxioms()} method) is consistent. <code>true</code> if the set of axioms is consistent, * or <code>false</code> if the set of axioms is inconsistent. InterruptedException if the reasoning process was interrupted for any particular reason (for example if * reasoning was cancelled by a client process) */ boolean isconsistent() throws InterruptedException; /** * A convenience method that determines if the specified class expression is satisfiable with respect to the * set of reasoner axioms (the set of axioms returned by the {@link #getaxioms()} method) classexpression The class expression <code>true</code> if classexpression is satisfiable with respect to the set of axioms, or * <code>false</code> if classexpression is unsatisfiable with respect to the axioms. InconsistentOntologiesException if the reasoner's axiom set is inconsistent EntitiesNotInSignatureException if the signature of the classexpression is not contained within the signature * of the reasoner's axiom set. ExpressivenessOutOfScopeException If the class expression contains constructs that are out of the scope * of expressiveness that is supported by this reasoner. InterruptedException if the reasoning process was interrupted for any particular reason (for example if * reasoning was cancelled by a client process) */ boolean issatisfiable(owlclassexpression classexpression) throws InterruptedException; 9

10 Profiles API OWLProfile OWL2ELProfile OWL2QLProfile OWL2RLProfile OWL2DLProfile... OWL 2 EL OWL 2 QL OWL 2 RL UseOfReservedVocabularyForOntologyIRI UseOfNonSubClassExpression UseOfUndeclaredClass 10

11 11

12 Examples of Use 12

13 Metrics API for ontology metrics view 13

14 Axiom retrieval by signature and type for usage views 14

15 Working with multiple ontologies in an imports closure 15

16 Change objects used for undo/redo 16

17 Common reasoner interface 17

18 Out of the box serialisation support for multiple file formats 18

19 Use of Manchester Syntax parser to provide editor autocompletion and syntax checking 19

20 Axiom oriented model simplifies many tasks 20

21 Widely used in many other tools 21

22 Acknowledgements Sean Bechhofer 22

23 Acknowledgements Birte Glimm Boris Motik Tim Redmond Ignazio Palmisano 23

24 Acknowledgements Ron Alford Nick Drummond Olaf Noppens Thomas Schneider Evren Sirin Mike Smith 24