search

HyperAgents / hmas

An ontology to describe Hypermedia Multi-Agent Systems, interactions, and organizations.
https://purl.org/hmas/
1 stars 0 forks source link

A tool for checking OWL Profile #86

Closed DrLeturc closed 2 years ago

DrLeturc commented 2 years ago

Everything is in the title (this issue is related to https://github.com/HyperAgents/ns.hyperagents.org/issues/84)

How to do that ?

Some tools (?) :

It seems that http://corese.inria.fr/ can do that. So I'm gonna ask Olivier Corby.

maximelefrancois86 commented 2 years ago

I often use stain profilechecker as cli,

It basically wraps the owlapi profile checker capabilities as cli.

DrLeturc commented 2 years ago

I talked with Olivier Corby, he said he will propose a sample JAVA/Python API for profile checking that we can use.

DrLeturc commented 2 years ago

Olivier answered me and added to CORESE an interface class to check OWL profiles.

We can access to Corese via GitHub : https://github.com/Wimmics/corese.

To use it, just do the following:

The variable graph is a RDF Graph which contains our ontology we want to validate.

OWLProfile tc = new OWLProfile(graph);
boolean suc = tc.process(OWLProfile.OWL_RL);
// error messages:
String mes = tc.getMessage();

The four types of implemented profiles are :

For instance OWL_TC is a profile that tests OWL 2 validity.

According to him the type checker is a "proof of concept". So it is not 100% guaranteed to be correct.

PS : we used this tool in https://github.com/HyperAgents/ns.hyperagents.org/issues/84#issuecomment-1106519823

maximelefrancois86 commented 2 years ago

Here is the result of the OWLAPI profile checker on https://github.com/HyperAgents/ns.hyperagents.org/commit/b8af9aedc65aee3fffd49aad02b900d9621f8803

$ java -jar profilechecker-1.1.0\ \(1\).jar core.txt
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by com.google.inject.internal.cglib.core.$ReflectUtils$1 (file:/mnt/c/Users/maxime.lefrancois/Desktop/blabla/hmas/profilechecker-1.1.0%20(1).jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int,java.security.ProtectionDomain)
WARNING: Please consider reporting this to the maintainers of com.google.inject.internal.cglib.core.$ReflectUtils$1
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
Use of undeclared annotation property: <http://purl.org/dc/terms/contributor> in annotation [Annotation(<http://purl.org/dc/terms/contributor> <https://www.emse.fr/~boissier/>) in null]
Use of undeclared class: <http://schema.org/Person> [ClassAssertion(<http://schema.org/Person> <https://www.emse.fr/~boissier/>) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://purl.org/dc/terms/issued> in annotation [Annotation(<http://purl.org/dc/terms/issued> "2021-11-21"^^xsd:date) in null]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "Danai Vachtsevanou"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <https://danaivach.inrupt.net/profile/card#me> "Danai Vachtsevanou"^^xsd:string)]
Use of undeclared annotation property: <http://schema.org/affiliation> in annotation [Annotation(<http://schema.org/affiliation> <https://www.mines-stetienne.fr/>) in AnnotationAssertion(<http://schema.org/affiliation> <http://maxime-lefrancois.info/me#> <https://www.mines-stetienne.fr/>)]
Use of undeclared annotation property: <http://purl.org/dc/terms/description> in annotation [Annotation(<http://purl.org/dc/terms/description> "L'ontologie centrale pour la description de systèmes multi-agents hypermédias."@fr) in null]
Use of undeclared annotation property: <http://purl.org/dc/terms/creator> in annotation [Annotation(<http://purl.org/dc/terms/creator> <https://pod.inrupt.com/andreiciortea/profile/card#me>) in null]
Use of undeclared annotation property: <http://purl.org/vocab/vann/preferredNamespaceUri> in annotation [Annotation(<http://purl.org/vocab/vann/preferredNamespaceUri> <https://purl.org/hmas/#>) in null]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "Simon Mayer"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <https://pod.inrupt.com/smnmyr/profile/card#me> "Simon Mayer"^^xsd:string)]
Use of undeclared annotation property: <http://schema.org/affiliation> in annotation [Annotation(<http://schema.org/affiliation> <https://www.unisg.ch/en>) in AnnotationAssertion(<http://schema.org/affiliation> <https://pod.inrupt.com/andreiciortea/profile/card#me> <https://www.unisg.ch/en>)]
Use of undeclared class: <http://schema.org/Person> [ClassAssertion(<http://schema.org/Person> <http://maxime-lefrancois.info/me#>) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://schema.org/affiliation> in annotation [Annotation(<http://schema.org/affiliation> <https://www.unisg.ch/en>) in AnnotationAssertion(<http://schema.org/affiliation> <https://danaivach.inrupt.net/profile/card#me> <https://www.unisg.ch/en>)]
Use of undeclared annotation property: <http://www.w3.org/2004/02/skos/core#note> in annotation [Annotation(<http://www.w3.org/2004/02/skos/core#note> ":Signifier would fit as a superclass of td:InteractionAffordance and fipa:ServiceDescription"@en) in AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#note> <https://purl.org/hmas/#Signifier> ":Signifier would fit as a superclass of td:InteractionAffordance and fipa:ServiceDescription"@en)]
Use of undeclared annotation property: <http://purl.org/dc/terms/contributor> in annotation [Annotation(<http://purl.org/dc/terms/contributor> <http://ns.inria.fr/fabien.gandon#me>) in null]
Use of undeclared annotation property: <http://schema.org/email> in annotation [Annotation(<http://schema.org/email> "fabien.gandon@inria.fr"^^xsd:string) in AnnotationAssertion(<http://schema.org/email> <http://ns.inria.fr/fabien.gandon#me> "fabien.gandon@inria.fr"^^xsd:string)]
Use of undeclared class: <http://schema.org/Person> [ClassAssertion(<http://schema.org/Person> <https://pod.inrupt.com/andreiciortea/profile/card#me>) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://www.w3.org/2004/02/skos/core#example> in annotation [Annotation(<http://www.w3.org/2004/02/skos/core#example> "Examples of hmas:HypermediaMASPlatform include Twitter, Facebook, a JADE node/delpoyment, or a JaCaMo node/delpoyment — all of which provide features that could support Hypermedia MAS & hybrid communities."@en) in AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#example> <https://purl.org/hmas/#HypermediaMASPlatform> "Examples of hmas:HypermediaMASPlatform include Twitter, Facebook, a JADE node/delpoyment, or a JaCaMo node/delpoyment — all of which provide features that could support Hypermedia MAS & hybrid communities."@en)]
Use of undeclared annotation property: <http://www.w3.org/2004/02/skos/core#note> in annotation [Annotation(<http://www.w3.org/2004/02/skos/core#note> ":Signifier works as a bridge between the Core and the Interaction Vocabularies."@en) in AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#note> <https://purl.org/hmas/#Signifier> ":Signifier works as a bridge between the Core and the Interaction Vocabularies."@en)]
Use of undeclared annotation property: <http://purl.org/dc/terms/source> in annotation [Annotation(<http://purl.org/dc/terms/source> <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719>) in AnnotationAssertion(<http://purl.org/dc/terms/source> <https://purl.org/hmas/#transitivelyContains> <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719>)]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "Andrei Ciortea"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <https://pod.inrupt.com/andreiciortea/profile/card#me> "Andrei Ciortea"^^xsd:string)]
Use of undeclared annotation property: <http://schema.org/url> in annotation [Annotation(<http://schema.org/url> <http://maxime-lefrancois.info/>) in AnnotationAssertion(<http://schema.org/url> <http://maxime-lefrancois.info/me#> <http://maxime-lefrancois.info/>)]
Use of undeclared annotation property: <http://schema.org/identifier> in annotation [Annotation(<http://schema.org/identifier> <http://orcid.org/0000-0001-9814-8991>) in AnnotationAssertion(<http://schema.org/identifier> <http://maxime-lefrancois.info/me#> <http://orcid.org/0000-0001-9814-8991>)]
Use of undeclared annotation property: <http://schema.org/email> in annotation [Annotation(<http://schema.org/email> "simon.mayer@unisg.ch"^^xsd:string) in AnnotationAssertion(<http://schema.org/email> <https://pod.inrupt.com/smnmyr/profile/card#me> "simon.mayer@unisg.ch"^^xsd:string)]
Use of undeclared annotation property: <http://purl.org/dc/terms/title> in annotation [Annotation(<http://purl.org/dc/terms/title> "Ontologie Centrale des SMA Hypermédias"@fr) in null]
Use of undeclared annotation property: <http://schema.org/identifier> in annotation [Annotation(<http://schema.org/identifier> <https://orcid.org/0000-0003-0821-6095>) in AnnotationAssertion(<http://schema.org/identifier> <https://www.linkedin.com/in/christopher-leturc/> <https://orcid.org/0000-0003-0821-6095>)]
Use of undeclared annotation property: <http://creativecommons.org/ns#license> in annotation [Annotation(<http://creativecommons.org/ns#license> <https://creativecommons.org/licenses/by/4.0/>) in null]
Use of undeclared class: <http://schema.org/Person> [ClassAssertion(<http://schema.org/Person> <https://pod.inrupt.com/smnmyr/profile/card#me>) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://purl.org/dc/terms/contributor> in annotation [Annotation(<http://purl.org/dc/terms/contributor> <https://www.linkedin.com/in/christopher-leturc/>) in null]
Use of undeclared class: <http://schema.org/Person> [ClassAssertion(<http://schema.org/Person> <https://danaivach.inrupt.net/profile/card#me>) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://schema.org/url> in annotation [Annotation(<http://schema.org/url> <https://www.linkedin.com/in/christopher-leturc/>) in AnnotationAssertion(<http://schema.org/url> <https://www.linkedin.com/in/christopher-leturc/> <https://www.linkedin.com/in/christopher-leturc/>)]
Use of undeclared annotation property: <http://purl.org/vocab/vann/preferredNamespacePrefix> in annotation [Annotation(<http://purl.org/vocab/vann/preferredNamespacePrefix> "hmas"^^xsd:string) in null]
Use of reserved vocabulary for class IRI: rdfs:Resource [ObjectPropertyDomain(<https://purl.org/hmas/#isTransitivelyContainedIn> rdfs:Resource) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared class: <http://schema.org/Person> [ClassAssertion(<http://schema.org/Person> <http://ns.inria.fr/fabien.gandon#me>) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://schema.org/affiliation> in annotation [Annotation(<http://schema.org/affiliation> <https://www.unisg.ch/en>) in AnnotationAssertion(<http://schema.org/affiliation> <https://pod.inrupt.com/smnmyr/profile/card#me> <https://www.unisg.ch/en>)]
Use of undeclared annotation property: <http://schema.org/affiliation> in annotation [Annotation(<http://schema.org/affiliation> <https://mines-stetienne.fr>) in AnnotationAssertion(<http://schema.org/affiliation> <https://www.emse.fr/~boissier/> <https://mines-stetienne.fr>)]
Use of undeclared annotation property: <http://schema.org/url> in annotation [Annotation(<http://schema.org/url> <https://mines-stetienne.fr>) in AnnotationAssertion(<http://schema.org/url> <https://www.mines-stetienne.fr/> <https://mines-stetienne.fr>)]
Use of undeclared annotation property: <http://schema.org/affiliation> in annotation [Annotation(<http://schema.org/affiliation> <https://inria.fr/>) in AnnotationAssertion(<http://schema.org/affiliation> <http://ns.inria.fr/fabien.gandon#me> <https://inria.fr/>)]
Use of undeclared annotation property: <http://purl.org/dc/terms/contributor> in annotation [Annotation(<http://purl.org/dc/terms/contributor> <http://maxime-lefrancois.info/me#>) in null]
Use of undeclared annotation property: <http://schema.org/url> in annotation [Annotation(<http://schema.org/url> <https://www.unisg.ch>) in AnnotationAssertion(<http://schema.org/url> <https://www.unisg.ch/en> <https://www.unisg.ch>)]
Use of undeclared annotation property: <http://purl.org/dc/terms/source> in annotation [Annotation(<http://purl.org/dc/terms/source> <https://github.com/HyperAgents/ns.hyperagents.org/issues/13#issuecomment-1029349488>) in AnnotationAssertion(<http://purl.org/dc/terms/source> <https://purl.org/hmas/#exposesSignifier> <https://github.com/HyperAgents/ns.hyperagents.org/issues/13#issuecomment-1029349488>)]
Use of undeclared annotation property: <http://purl.org/dc/terms/description> in annotation [Annotation(<http://purl.org/dc/terms/description> "An ontology to describe Hypermedia Multi-Agent Systems."@en) in null]
Use of undeclared annotation property: <http://schema.org/email> in annotation [Annotation(<http://schema.org/email> "olivier.boissier@emse.fr"^^xsd:string) in AnnotationAssertion(<http://schema.org/email> <https://www.emse.fr/~boissier/> "olivier.boissier@emse.fr"^^xsd:string)]
Use of undeclared annotation property: <http://purl.org/dc/terms/contributor> in annotation [Annotation(<http://purl.org/dc/terms/contributor> <https://danaivach.inrupt.net/profile/card#me>) in null]
Use of undeclared annotation property: <http://schema.org/url> in annotation [Annotation(<http://schema.org/url> <http://fabien.info/>) in AnnotationAssertion(<http://schema.org/url> <http://ns.inria.fr/fabien.gandon#me> <http://fabien.info/>)]
Use of reserved vocabulary for class IRI: rdfs:Resource [ObjectPropertyRange(<https://purl.org/hmas/#transitivelyContains> rdfs:Resource) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "MINES Saint-Étienne"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <https://www.mines-stetienne.fr/> "MINES Saint-Étienne"^^xsd:string)]
Use of undeclared annotation property: <http://schema.org/email> in annotation [Annotation(<http://schema.org/email> "andrei.ciortea@unisg.ch"^^xsd:string) in AnnotationAssertion(<http://schema.org/email> <https://pod.inrupt.com/andreiciortea/profile/card#me> "andrei.ciortea@unisg.ch"^^xsd:string)]
Use of undeclared class: <http://schema.org/Person> [ClassAssertion(<http://schema.org/Person> <https://www.linkedin.com/in/christopher-leturc/>) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://www.w3.org/2004/02/skos/core#example> in annotation [Annotation(<http://www.w3.org/2004/02/skos/core#example> "e.g., a Thing Description document, a Hydra document, an Socio-Technical Network platform description, a fipa:AgentDescription"@en) in AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#example> <https://purl.org/hmas/#ResourceProfile> "e.g., a Thing Description document, a Hydra document, an Socio-Technical Network platform description, a fipa:AgentDescription"@en)]
Use of undeclared annotation property: <http://purl.org/dc/terms/source> in annotation [Annotation(<http://purl.org/dc/terms/source> <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719>) in AnnotationAssertion(<http://purl.org/dc/terms/source> <https://purl.org/hmas/#hosts> <https://github.com/HyperAgents/ns.hyperagents.org/issues/8#issuecomment-1025991719>)]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "Maxime Lefrançois"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <http://maxime-lefrancois.info/me#> "Maxime Lefrançois"^^xsd:string)]
Use of undeclared annotation property: <http://schema.org/url> in annotation [Annotation(<http://schema.org/url> <https://inria.fr/>) in AnnotationAssertion(<http://schema.org/url> <https://inria.fr/> <https://inria.fr/>)]
Use of undeclared class: rdfs:Resource [ObjectPropertyRange(<https://purl.org/hmas/#transitivelyContains> rdfs:Resource) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "Fabien Gandon"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <http://ns.inria.fr/fabien.gandon#me> "Fabien Gandon"^^xsd:string)]
Use of undeclared annotation property: <http://www.w3.org/2004/02/skos/core#example> in annotation [Annotation(<http://www.w3.org/2004/02/skos/core#example> ""@en) in AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#example> <https://purl.org/hmas/#isProfileOf> ""@en)]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "Chistopher Leturc"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <https://www.linkedin.com/in/christopher-leturc/> "Chistopher Leturc"^^xsd:string)]
Use of undeclared annotation property: <http://schema.org/email> in annotation [Annotation(<http://schema.org/email> "danai.vachtsevanou@unisg.ch"^^xsd:string) in AnnotationAssertion(<http://schema.org/email> <https://danaivach.inrupt.net/profile/card#me> "danai.vachtsevanou@unisg.ch"^^xsd:string)]
Use of undeclared annotation property: <http://www.w3.org/2004/02/skos/core#example> in annotation [Annotation(<http://www.w3.org/2004/02/skos/core#example> "an agent, an artefact, other MAS platforms, workspaces, resource profiles, signifiers, organizations, can be hosted on a MAS platform"@en) in AnnotationAssertion(<http://www.w3.org/2004/02/skos/core#example> <https://purl.org/hmas/#Hostable> "an agent, an artefact, other MAS platforms, workspaces, resource profiles, signifiers, organizations, can be hosted on a MAS platform"@en)]
Use of undeclared annotation property: <http://schema.org/email> in annotation [Annotation(<http://schema.org/email> "christopher.leturc@inria.fr"^^xsd:string) in AnnotationAssertion(<http://schema.org/email> <https://www.linkedin.com/in/christopher-leturc/> "christopher.leturc@inria.fr"^^xsd:string)]
Use of undeclared annotation property: <http://schema.org/affiliation> in annotation [Annotation(<http://schema.org/affiliation> <https://inria.fr/>) in AnnotationAssertion(<http://schema.org/affiliation> <https://www.linkedin.com/in/christopher-leturc/> <https://inria.fr/>)]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "Olivier Boissier"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <https://www.emse.fr/~boissier/> "Olivier Boissier"^^xsd:string)]
Use of undeclared class: rdfs:Resource [ObjectPropertyDomain(<https://purl.org/hmas/#isTransitivelyContainedIn> rdfs:Resource) in OntologyID(OntologyIRI(<https://purl.org/hmas/#>) VersionIRI(<null>))]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "Inria"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <https://inria.fr/> "Inria"^^xsd:string)]
Use of undeclared annotation property: <http://purl.org/dc/terms/title> in annotation [Annotation(<http://purl.org/dc/terms/title> "Hypermedia MAS Core Ontology"@en) in null]
Use of undeclared annotation property: <http://schema.org/identifier> in annotation [Annotation(<http://schema.org/identifier> <http://orcid.org/0000-0003-0543-1232>) in AnnotationAssertion(<http://schema.org/identifier> <http://ns.inria.fr/fabien.gandon#me> <http://orcid.org/0000-0003-0543-1232>)]
Use of undeclared annotation property: <http://schema.org/email> in annotation [Annotation(<http://schema.org/email> "maxime.lefrancois@emse.fr"^^xsd:string) in AnnotationAssertion(<http://schema.org/email> <http://maxime-lefrancois.info/me#> "maxime.lefrancois@emse.fr"^^xsd:string)]
Use of undeclared annotation property: <http://schema.org/name> in annotation [Annotation(<http://schema.org/name> "University of St.Gallen"^^xsd:string) in AnnotationAssertion(<http://schema.org/name> <https://www.unisg.ch/en> "University of St.Gallen"^^xsd:string)]
Use of undeclared annotation property: <http://purl.org/dc/terms/contributor> in annotation [Annotation(<http://purl.org/dc/terms/contributor> <https://pod.inrupt.com/smnmyr/profile/card#me>) in null]
Use of undeclared annotation property: <http://schema.org/url> in annotation [Annotation(<http://schema.org/url> <https://danaivach.inrupt.net/profile/card>) in AnnotationAssertion(<http://schema.org/url> <https://danaivach.inrupt.net/profile/card#me> <https://danaivach.inrupt.net/profile/card>)]
Use of undeclared annotation property: <http://purl.org/dc/terms/source> in annotation [Annotation(<http://purl.org/dc/terms/source> <https://github.com/HyperAgents/ns.hyperagents.org/issues/18#issuecomment-1040448029>) in AnnotationAssertion(<http://purl.org/dc/terms/source> <https://purl.org/hmas/#contains> <https://github.com/HyperAgents/ns.hyperagents.org/issues/18#issuecomment-1040448029>)]