{"action":"created","issue":{"url":"https://api.github.com/repos/spechub/Hets/issues/1484","labels_url":"https://api.github.com/repos/spechub/Hets/issues/1484/labels{/name}","comments_url":"https://api.github.com/repos/spechub/Hets/issues/1484/comments","events_url":"https://api.github.com/repos/spechub/Hets/issues/1484/events","html_url":"https://github.com/spechub/Hets/issues/1484","id":67091437,"number":1484,"title":"Axioms are missing in the DG","user":{"login":"eugenk","id":339751,"avatar_url":"https://avatars.githubusercontent.com/u/339751?v=3","gravatar_id":"","url":"https://api.github.com/users/eugenk","html_url":"https://github.com/eugenk","followers_url":"https://api.github.com/users/eugenk/followers","following_url":"https://api.github.com/users/eugenk/following{/other_user}","gists_url":"https://api.github.com/users/eugenk/gists{/gist_id}","starred_url":"https://api.github.com/users/eugenk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eugenk/subscriptions","organizations_url":"https://api.github.com/users/eugenk/orgs","repos_url":"https://api.github.com/users/eugenk/repos","events_url":"https://api.github.com/users/eugenk/events{/privacy}","received_events_url":"https://api.github.com/users/eugenk/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"gnn","id":33583,"avatar_url":"https://avatars.githubusercontent.com/u/33583?v=3","gravatar_id":"","url":"https://api.github.com/users/gnn","html_url":"https://github.com/gnn","followers_url":"https://api.github.com/users/gnn/followers","following_url":"https://api.github.com/users/gnn/following{/other_user}","gists_url":"https://api.github.com/users/gnn/gists{/gist_id}","starred_url":"https://api.github.com/users/gnn/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gnn/subscriptions","organizations_url":"https://api.github.com/users/gnn/orgs","repos_url":"https://api.github.com/users/gnn/repos","events_url":"https://api.github.com/users/gnn/events{/privacy}","received_events_url":"https://api.github.com/users/gnn/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2015-04-08T09:45:05Z","updated_at":"2016-01-11T10:44:55Z","closed_at":null,"body":"The `dg` command does not output Axioms on some systems.\r\n\r\nOn Ubuntu (on staging.ontohub.org with the hets package and on a vm with a self-compiled version) we get\r\n```\r\n# curl http://localhost:8000/version\r\nv0.99, 1428420112\r\n# curl http://localhost:8000/dg/http%3A%2F%2Fstaging.ontohub.org%2Fvehicles%2Fvehicle/auto/full-theories/full-signatures\r\n<?xml version='1.0' ?>\r\n<DGraph filename=\"http://staging.ontohub.org/vehicles/vehicle\" mime-type=\"text/omn\" libname=\"http://purl.obolibrary.org/obo/TEMP\" dgnodes=\"1\" dgedges=\"0\" nextlinkid=\"0\">\r\n  <Global>\r\n    <Annotation>%prefix(: &lt;http://staging.ontohub.org/vehicles/vehicle?&gt;)%</Annotation>\r\n  </Global>\r\n  <DGNode name=\"http://purl.obolibrary.org/obo/TEMP\" reference=\"false\" logic=\"OWL\" refname=\"&lt;http://purl.obolibrary.org/obo/TEMP&gt;\" relxpath=\"/\">\r\n    <Declarations>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#Class&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#Class\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#Class&gt;</Symbol>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#DataProperty&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#DataProperty\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#DataProperty&gt;</Symbol>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#Ontology&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#Ontology\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#Ontology&gt;</Symbol>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#Prefix&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#Prefix\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#Prefix&gt;</Symbol>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#Range&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#Range\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#Range&gt;</Symbol>\r\n    </Declarations>\r\n    <Symbols>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#Class&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#Class\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#Class&gt;</Symbol>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#DataProperty&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#DataProperty\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#DataProperty&gt;</Symbol>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#Ontology&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#Ontology\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#Ontology&gt;</Symbol>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#Prefix&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#Prefix\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#Prefix&gt;</Symbol>\r\n      <Symbol kind=\"AnnotationProperty\" name=\"&lt;http://www.geneontology.org/formats/oboInOwl#Range&gt;\" iri=\"http://www.geneontology.org/formats/oboInOwl#Range\">AnnotationProperty &lt;http://www.geneontology.org/formats/oboInOwl#Range&gt;</Symbol>\r\n    </Symbols>\r\n  </DGNode>\r\n</DGraph>\r\n```\r\n\r\n\r\nOn OSX with a self-compiled version of hets we get:\r\n```\r\n❯ curl http://localhost:8000/version\r\nv0.99, 1425553232\r\n❯ curl http://localhost:8000/dg/http%3A%2F%2Fstaging.ontohub.org%2Fvehicles%2Fvehicle/auto/full-theories/full-signatures\r\n<?xml version='1.0' ?>\r\n<DGraph filename=\"http://staging.ontohub.org/vehicles/vehicle\" mime-type=\"text/omn\" libname=\"http://staging.ontohub.org/vehicles/vehicle\" dgnodes=\"1\" dgedges=\"0\" nextlinkid=\"0\">\r\n  <Global>\r\n    <Annotation>%prefix(: &lt;http://staging.ontohub.org/vehicles/vehicle?&gt;)%</Annotation>\r\n  </Global>\r\n  <DGNode name=\"http://staging.ontohub.org/vehicles/vehicle\" reference=\"false\" logic=\"OWL\" refname=\"&lt;http://staging.ontohub.org/vehicles/vehicle&gt;\" relxpath=\"/\">\r\n    <Declarations>\r\n      <Symbol kind=\"Class\" name=\"Car\" iri=\"http://staging.ontohub.org/vehicles/vehicle//Car\">Class Car</Symbol>\r\n      <Symbol kind=\"Class\" name=\"Pickup\" iri=\"http://staging.ontohub.org/vehicles/vehicle//Pickup\">Class Pickup</Symbol>\r\n      <Symbol kind=\"Class\" name=\"Truck\" iri=\"http://staging.ontohub.org/vehicles/vehicle//Truck\">Class Truck</Symbol>\r\n      <Symbol kind=\"DataProperty\" name=\"hasWheels\" iri=\"http://staging.ontohub.org/vehicles/vehicle//hasWheels\">DataProperty hasWheels</Symbol>\r\n    </Declarations>\r\n    <Symbols>\r\n      <Symbol kind=\"Class\" name=\"Car\" iri=\"http://staging.ontohub.org/vehicles/vehicle//Car\">Class Car</Symbol>\r\n      <Symbol kind=\"Class\" name=\"Pickup\" iri=\"http://staging.ontohub.org/vehicles/vehicle//Pickup\">Class Pickup</Symbol>\r\n      <Symbol kind=\"Class\" name=\"Truck\" iri=\"http://staging.ontohub.org/vehicles/vehicle//Truck\">Class Truck</Symbol>\r\n      <Symbol kind=\"DataProperty\" name=\"hasWheels\" iri=\"http://staging.ontohub.org/vehicles/vehicle//hasWheels\">DataProperty hasWheels</Symbol>\r\n    </Symbols>\r\n    <Axioms>\r\n      [many axioms]\r\n    </Axioms>\r\n  </DGNode>\r\n</DGraph>\r\n```"},"comment":{"url":"https://api.github.com/repos/spechub/Hets/issues/comments/170504743","html_url":"https://github.com/spechub/Hets/issues/1484#issuecomment-170504743","issue_url":"https://api.github.com/repos/spechub/Hets/issues/1484","id":170504743,"user":{"login":"tillmo","id":642775,"avatar_url":"https://avatars.githubusercontent.com/u/642775?v=3","gravatar_id":"","url":"https://api.github.com/users/tillmo","html_url":"https://github.com/tillmo","followers_url":"https://api.github.com/users/tillmo/followers","following_url":"https://api.github.com/users/tillmo/following{/other_user}","gists_url":"https://api.github.com/users/tillmo/gists{/gist_id}","starred_url":"https://api.github.com/users/tillmo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tillmo/subscriptions","organizations_url":"https://api.github.com/users/tillmo/orgs","repos_url":"https://api.github.com/users/tillmo/repos","events_url":"https://api.github.com/users/tillmo/events{/privacy}","received_events_url":"https://api.github.com/users/tillmo/received_events","type":"User","site_admin":false},"created_at":"2016-01-11T10:44:55Z","updated_at":"2016-01-11T10:44:55Z","body":"@gnn, any progress here?"}}