https://github.com/stain/profilechecker

OWL API profile checker
https://github.com/stain/profilechecker

Last synced: 3 months ago
JSON representation

OWL API profile checker

• Host: GitHub
• URL: https://github.com/stain/profilechecker
• Owner: stain
• License: apache-2.0
• Created: 2012-03-05T15:30:15.000Z (almost 13 years ago)
• Default Branch: master
• Last Pushed: 2017-05-04T13:29:52.000Z (over 7 years ago)
• Last Synced: 2024-10-04T14:44:30.306Z (4 months ago)
• Language: Java
• Homepage:
• Size: 3.54 MB
• Stars: 15
• Watchers: 4
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# OWL API profile checker

(c) 2012-2017 The University of Manchester

License: [Apache License 2.0](https://www.apache.org/licenses/LICENSE-2.0) 

  (see `LICENSE` and `NOTICE` for required notices)

Author: Stian Soiland-Reyes 

## Requirements

* [Java](https://java.com/en/download/) 8 or [OpenJDK](http://openjdk.java.net/) 8

* [Apache Maven](https://maven.apache.org/download.cgi) 3.3 or later 

## Building

Note: you don't need to compile from source code, you can also use one of the 

[releases](https://github.com/stain/profilechecker/releases).

    stain@ralph-ubuntu:~/src/profilechecker$ mvn clean package

    [INFO] Scanning for projects...

    [INFO]                                                                         

    [INFO] ------------------------------------------------------------------------

    [INFO] Building OWL API profile checker 1.1.0

    [INFO] 

    (..)

    [INFO] Replacing /home/stain/src/profilechecker/target/profilechecker-1.1.0.jar with /home/stain/src/profilechecker/target/profilechecker-1.0-shaded.jar

    [INFO] Dependency-reduced POM written at: /home/stain/src/profilechecker/dependency-reduced-pom.xml

    [INFO] ------------------------------------------------------------------------

    [INFO] BUILD SUCCESS

    [INFO] ------------------------------------------------------------------------

    [INFO] Total time: 29.912s

    [INFO] Finished at: Thu Feb 07 15:34:12 GMT 2013

    [INFO] Final Memory: 22M/169M

    [INFO] ------------------------------------------------------------------------

## Usage

### Help

    $ java -jar target/profilechecker-1.1.0.jar -h

    Usage: profilechecker.jar  [profile]

    

    Available profiles:

    OWL2_DL (OWL 2 DL)

    OWL2_QL (OWL 2 QL)

    OWL2_EL (OWL 2 EL)

    OWL2_RL (OWL 2 RL)

    OWL2_FULL (OWL 2 DL) -default-

    --all

(Modify the version number `1.1.0` above to correspond to the output of your build)

The `` parameter can be given as a local file name or an

absolute IRI.

### Default profile

With only ontology IRI or file name, will check against default profile

(OWL 2 Full):

    $ java -jar target/profilechecker-1.1.0.jar https://cdn.rawgit.com/owlcs/pizza-ontology/v1.5.0/pizza.owl

Exit code is 0 if the ontology conforms to OWL 2 Full, in which case there should be no output on STDERR.    

### Specify OWL2 profile

Checking against a specific profile:    

    $ java -jar target/profilechecker-1.1.0.jar https://cdn.rawgit.com/owlcs/pizza-ontology/v1.5.0/pizza.owl OWL2QLProfile

    Use of non-superclass expression in position that requires a

      superclass expression:

      ObjectAllValuesFrom(

      ObjectUnionOf(

      ))

      [SubClassOf(

      ObjectAllValuesFrom(

      ObjectUnionOf(

      )))

      in ] 

    (..)

Exit code is 0 if the ontology conforms to the specified profile, with errors logged to STDERR.

The ontology profile can be specified in any of these forms (in order of preference):

* `OWL2_DL` ([`Profiles`](http://owlcs.github.io/owlapi/apidocs_5/org/semanticweb/owlapi/profiles/Profiles.html) enum value)

* `http://www.w3.org/ns/owl-profile/DL` (IRI of OWL profile)

* `DL` (relative IRI of OWL profile)

* `OWL2DLProfile` (classname)

### All profiles

Checking against all profiles:

    $ java -jar target/profilechecker-1.1.0.jar https://cdn.rawgit.com/owlcs/pizza-ontology/v1.5.0/pizza.owl --all

    OWL2_DL: OK

    OWL2_QL: 52 violations

    OWL2_EL: 66 violations

    OWL2_RL: 188 violations

    OWL2_FULL: OK

Exit code is 0 if the ontology conforms to all profiles. 

The violation count per profile is output to STDOUT.

### Warnings

Note that any warnings or errors logged from the OWLAPI (prefix `[main]`)

during ontology loading do not necessarily mean violation against the profile:

    $ java -jar target/profilechecker-1.1.0.jar ~/Desktop/annotated.ttl --all

    [main] ERROR uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl - Illegal redeclarations of entities: reuse of entity http://example.com/annotatedOntology#property1 in punning not allowed [Declaration(AnnotationProperty()), Declaration(ObjectProperty())]

    OWL2_DL: 1 violations

    OWL2_QL: 1 violations

    OWL2_EL: 1 violations

    OWL2_RL: 1 violations

    OWL2_FULL: OK