Skip to content

Error loading in Protege due to missing imports #5

@vChavezB

Description

@vChavezB

I tried loading ontology/math.ttl locally but protege generated errors while loading.

How to reproduce

Load the ontology locally with Protege 5.6.x

grafik

Suggested fix

To fix this I found out that the rdfs and rdf imports should be added since AttributionList, ObjectList, VariableList are of type rdfs:class.

<http://openmath.org/vocab/math>
  rdf:type owl:Ontology ;              
  owl:imports <http://www.w3.org/2000/01/rdf-schema> ;
  owl:imports <http://www.w3.org/1999/02/22-rdf-syntax-ns> .

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions