{"action":"created","issue":{"url":"https://api.github.com/repos/owlcs/owlapi/issues/810","repository_url":"https://api.github.com/repos/owlcs/owlapi","labels_url":"https://api.github.com/repos/owlcs/owlapi/issues/810/labels{/name}","comments_url":"https://api.github.com/repos/owlcs/owlapi/issues/810/comments","events_url":"https://api.github.com/repos/owlcs/owlapi/issues/810/events","html_url":"https://github.com/owlcs/owlapi/issues/810","id":391921014,"node_id":"MDU6SXNzdWUzOTE5MjEwMTQ=","number":810,"title":"DLExpressivity checker never computes anything","user":{"login":"matthewhorridge","id":488607,"node_id":"MDQ6VXNlcjQ4ODYwNw==","avatar_url":"https://avatars2.githubusercontent.com/u/488607?v=4","gravatar_id":"","url":"https://api.github.com/users/matthewhorridge","html_url":"https://github.com/matthewhorridge","followers_url":"https://api.github.com/users/matthewhorridge/followers","following_url":"https://api.github.com/users/matthewhorridge/following{/other_user}","gists_url":"https://api.github.com/users/matthewhorridge/gists{/gist_id}","starred_url":"https://api.github.com/users/matthewhorridge/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/matthewhorridge/subscriptions","organizations_url":"https://api.github.com/users/matthewhorridge/orgs","repos_url":"https://api.github.com/users/matthewhorridge/repos","events_url":"https://api.github.com/users/matthewhorridge/events{/privacy}","received_events_url":"https://api.github.com/users/matthewhorridge/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-12-17T22:43:15Z","updated_at":"2018-12-21T23:07:40Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"OWL API Version 4.5.7\r\n\r\nI'm trying to use the DLExpressivityChecker and I'm finding that it never computes anything.  As far as I can tell from browsing the code, computation should be done in the ```getOrderedConstructs``` method if the ```constructs``` set is ```null```.  However, it is never ```null``` – see the one and only constructor:\r\n\r\n```java\r\npublic DLExpressivityChecker(Set<OWLOntology> ontologies) {\r\n        this.ontologies = new ArrayList<>(ontologies);\r\n        constructs = new HashSet<>();\r\n}\r\n```\r\nIt isn't set to ```null``` anywhere either.\r\n\r\nThere's an interesting line in this test, which, as far as I can tell is always true, so the test returns and doesn't really do anything:\r\n\r\nhttps://github.com/owlcs/owlapi/blob/b5d32541cf8a9566e3d68d160d922d2514aa2903/contract/src/test/java/org/semanticweb/owlapi/api/test/DLExpressivityCheckerTestCase.java#L489\r\n"},"comment":{"url":"https://api.github.com/repos/owlcs/owlapi/issues/comments/449520110","html_url":"https://github.com/owlcs/owlapi/issues/810#issuecomment-449520110","issue_url":"https://api.github.com/repos/owlcs/owlapi/issues/810","id":449520110,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0OTUyMDExMA==","user":{"login":"ignazio1977","id":2596901,"node_id":"MDQ6VXNlcjI1OTY5MDE=","avatar_url":"https://avatars1.githubusercontent.com/u/2596901?v=4","gravatar_id":"","url":"https://api.github.com/users/ignazio1977","html_url":"https://github.com/ignazio1977","followers_url":"https://api.github.com/users/ignazio1977/followers","following_url":"https://api.github.com/users/ignazio1977/following{/other_user}","gists_url":"https://api.github.com/users/ignazio1977/gists{/gist_id}","starred_url":"https://api.github.com/users/ignazio1977/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ignazio1977/subscriptions","organizations_url":"https://api.github.com/users/ignazio1977/orgs","repos_url":"https://api.github.com/users/ignazio1977/repos","events_url":"https://api.github.com/users/ignazio1977/events{/privacy}","received_events_url":"https://api.github.com/users/ignazio1977/received_events","type":"User","site_admin":false},"created_at":"2018-12-21T23:07:40Z","updated_at":"2018-12-21T23:07:40Z","author_association":"CONTRIBUTOR","body":"How urgently do you need this fix, Matt? Wondering if I should release right away or look at any other fix to be included first."}}
{"actor":{"display_login":"ignazio1977"}}