Search results

PROV is mentioned but not cited

Status: Open.

#359 In tillmo/DOL;

· clange opened on Aug 11, 2017

Suboptimal citation format

Status: Open.

#358 In tillmo/DOL;

· clange opened on Aug 11, 2017

Conformance of the XML and RDF Serializations of OWL With \DOL: duplicate word

Status: Open.

#355 In tillmo/DOL;

· clange opened on Aug 11, 2017

Some non-normative references are not referred to from the text

Status: Open.

#354 In tillmo/DOL;

· clange opened on Aug 11, 2017

can we capture nested circumscription?

Status: Open.

#347 In tillmo/DOL;

· tillmo opened on Jul 29, 2017

·  

DOL 1.1

Update logic, language, serialisation, and logic translations registry file

Status: Open.

#345 In tillmo/DOL;

· fabianneuhaus opened on May 31, 2017

The DOL ontology should be documented properly in the specification

dol ftf

major

Status: Open.

#323 In tillmo/DOL;

· tillmo opened on Apr 12, 2017

add URI of repository to the registry section

dol ftf

Status: Open.

#291 In tillmo/DOL;

· fabianneuhaus opened on Nov 5, 2015

·  

First maintenance revision

Fix bibliography

dol ftf

Status: Open.

#290 In tillmo/DOL;

· fabianneuhaus opened on Nov 5, 2015

·  

final submission to OMG before FTF starts

changes to refinement syntax

dol ftf

Status: Open.

#274 In tillmo/DOL;

· tillmo opened on Oct 28, 2015

·  

First maintenance revision

improve Common Logic theories due to Conrad's comments

Status: Open.

#265 In tillmo/DOL;

· tillmo opened on Oct 19, 2015

·  

DOL 1.1

in Common Logic theories: why not replace same-set with = ?

Status: Open.

#253 In tillmo/DOL;

· tillmo opened on Oct 19, 2015

·  

DOL 1.1