Changes

              
    

          
          
        
        

            
f
1
{
f
1
{
            
2
  "access_rights": "",
2
  "access_rights": "",
            
3
  "author": "Da Shen",
3
  "author": "Da Shen",
            
4
  "author_email": "",
4
  "author_email": "",
            
5
  "citation": [],
5
  "citation": [],
            
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
            
7
  "defined_in": "https://doi.org/10.48550/arXiv.1905.03334",
7
  "defined_in": "https://doi.org/10.48550/arXiv.1905.03334",
            
8
  "doi": "10.57702/zmgm435o",
8
  "doi": "10.57702/zmgm435o",
            
n
9
  "doi_date_published": null,
n
9
  "doi_date_published": "2024-12-16",
            
10
  "doi_publisher": "TIB",
10
  "doi_publisher": "TIB",
            
n
11
  "doi_status": false,
n
11
  "doi_status": true,
            
12
  "domain": "https://service.tib.eu/ldmservice",
12
  "domain": "https://service.tib.eu/ldmservice",
            
13
  "extra_authors": [
13
  "extra_authors": [
            
14
    {
14
    {
            
15
      "extra_author": "Yuliya Lierler",
15
      "extra_author": "Yuliya Lierler",
            
16
      "orcid": ""
16
      "orcid": ""
            
17
    }
17
    }
            
18
  ],
18
  ],
            
19
  "groups": [
19
  "groups": [
            
20
    {
20
    {
            
21
      "description": "",
21
      "description": "",
            
22
      "display_name": "Question Answering",
22
      "display_name": "Question Answering",
            
23
      "id": "01e9bd6b-910d-421d-bb31-799604023211",
23
      "id": "01e9bd6b-910d-421d-bb31-799604023211",
            
24
      "image_display_url": "",
24
      "image_display_url": "",
            
25
      "name": "question-answering",
25
      "name": "question-answering",
            
26
      "title": "Question Answering"
26
      "title": "Question Answering"
            
27
    }
27
    }
            
28
  ],
28
  ],
            
29
  "id": "b9f06be9-13b4-42bc-bb7b-35252940160d",
29
  "id": "b9f06be9-13b4-42bc-bb7b-35252940160d",
            
30
  "isopen": false,
30
  "isopen": false,
            
31
  "landing_page": 
31
  "landing_page": 
            
32
ssing-and-knowledge-representation-lab/software/cmodels-di\ufb00.php",
32
ssing-and-knowledge-representation-lab/software/cmodels-di\ufb00.php",
            
33
  "license_title": null,
33
  "license_title": null,
            
34
  "link_orkg": "",
34
  "link_orkg": "",
            
35
  "metadata_created": "2024-12-16T20:09:51.037476",
35
  "metadata_created": "2024-12-16T20:09:51.037476",
            
n
36
  "metadata_modified": "2024-12-16T20:09:51.037481",
n
36
  "metadata_modified": "2024-12-16T20:09:51.457946",
            
37
  "name": "cmodels-diff-",
37
  "name": "cmodels-diff-",
            
38
  "notes": "cmodels(diff) is a system that uses Satis\ufb01ability 
38
  "notes": "cmodels(diff) is a system that uses Satis\ufb01ability 
            
39
Modulo Theories (SMT) solvers to find answer sets of Constraint Answer 
39
Modulo Theories (SMT) solvers to find answer sets of Constraint Answer 
            
40
Set Programming (CASP) programs. The system can handle non-tight 
40
Set Programming (CASP) programs. The system can handle non-tight 
            
41
programs and enumerate multiple answer sets.",
41
programs and enumerate multiple answer sets.",
            
n
42
  "num_resources": 0,
n
42
  "num_resources": 1,
            
43
  "num_tags": 5,
43
  "num_tags": 5,
            
44
  "organization": {
44
  "organization": {
            
45
    "approval_status": "approved",
45
    "approval_status": "approved",
            
46
    "created": "2024-11-25T12:11:38.292601",
46
    "created": "2024-11-25T12:11:38.292601",
            
47
    "description": "",
47
    "description": "",
            
48
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
48
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
49
    "image_url": "",
49
    "image_url": "",
            
50
    "is_organization": true,
50
    "is_organization": true,
            
51
    "name": "no-organization",
51
    "name": "no-organization",
            
52
    "state": "active",
52
    "state": "active",
            
53
    "title": "No Organization",
53
    "title": "No Organization",
            
54
    "type": "organization"
54
    "type": "organization"
            
55
  },
55
  },
            
56
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
56
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
57
  "private": false,
57
  "private": false,
            
58
  "relationships_as_object": [],
58
  "relationships_as_object": [],
            
59
  "relationships_as_subject": [],
59
  "relationships_as_subject": [],
            
t
60
  "resources": [],
t
60
  "resources": [
            
61
    {
            
62
      "cache_last_updated": null,
            
63
      "cache_url": null,
            
64
      "created": "2024-12-16T18:25:44",
            
65
      "data": [
            
66
        "dcterms:title",
            
67
        "dcterms:accessRights",
            
68
        "dcterms:creator",
            
69
        "dcterms:description",
            
70
        "dcterms:issued",
            
71
        "dcterms:language",
            
72
        "dcterms:identifier",
            
73
        "dcat:theme",
            
74
        "dcterms:type",
            
75
        "dcat:keyword",
            
76
        "dcat:landingPage",
            
77
        "dcterms:hasVersion",
            
78
        "dcterms:format",
            
79
        "mls:task",
            
80
        "datacite:isDescribedBy"
            
81
      ],
            
82
      "description": "The json representation of the dataset with its 
            
83
distributions based on DCAT.",
            
84
      "format": "JSON",
            
85
      "hash": "",
            
86
      "id": "37877da7-6086-479c-af13-2bb57a052710",
            
87
      "last_modified": "2024-12-16T20:09:51.450220",
            
88
      "metadata_modified": "2024-12-16T20:09:51.460801",
            
89
      "mimetype": "application/json",
            
90
      "mimetype_inner": null,
            
91
      "name": "Original Metadata",
            
92
      "package_id": "b9f06be9-13b4-42bc-bb7b-35252940160d",
            
93
      "position": 0,
            
94
      "resource_type": null,
            
95
      "size": 1163,
            
96
      "state": "active",
            
97
      "url": 
            
98
resource/37877da7-6086-479c-af13-2bb57a052710/download/metadata.json",
            
99
      "url_type": "upload"
            
100
    }
            
101
  ],
            
61
  "services_used_list": "",
102
  "services_used_list": "",
            
62
  "state": "active",
103
  "state": "active",
            
63
  "tags": [
104
  "tags": [
            
64
    {
105
    {
            
65
      "display_name": "Answer Set Programming",
106
      "display_name": "Answer Set Programming",
            
66
      "id": "9091d1e8-4849-43aa-85b8-cac8b95b1b51",
107
      "id": "9091d1e8-4849-43aa-85b8-cac8b95b1b51",
            
67
      "name": "Answer Set Programming",
108
      "name": "Answer Set Programming",
            
68
      "state": "active",
109
      "state": "active",
            
69
      "vocabulary_id": null
110
      "vocabulary_id": null
            
70
    },
111
    },
            
71
    {
112
    {
            
72
      "display_name": "CASP",
113
      "display_name": "CASP",
            
73
      "id": "b914d06a-321c-48ab-aa34-4cacd96c687d",
114
      "id": "b914d06a-321c-48ab-aa34-4cacd96c687d",
            
74
      "name": "CASP",
115
      "name": "CASP",
            
75
      "state": "active",
116
      "state": "active",
            
76
      "vocabulary_id": null
117
      "vocabulary_id": null
            
77
    },
118
    },
            
78
    {
119
    {
            
79
      "display_name": "Multiple Answer Sets",
120
      "display_name": "Multiple Answer Sets",
            
80
      "id": "c3a3dc5f-7a65-4ae5-b721-660f20185455",
121
      "id": "c3a3dc5f-7a65-4ae5-b721-660f20185455",
            
81
      "name": "Multiple Answer Sets",
122
      "name": "Multiple Answer Sets",
            
82
      "state": "active",
123
      "state": "active",
            
83
      "vocabulary_id": null
124
      "vocabulary_id": null
            
84
    },
125
    },
            
85
    {
126
    {
            
86
      "display_name": "Non-tight Programs",
127
      "display_name": "Non-tight Programs",
            
87
      "id": "49789af7-f193-434d-bc9a-654f2e1c4eaf",
128
      "id": "49789af7-f193-434d-bc9a-654f2e1c4eaf",
            
88
      "name": "Non-tight Programs",
129
      "name": "Non-tight Programs",
            
89
      "state": "active",
130
      "state": "active",
            
90
      "vocabulary_id": null
131
      "vocabulary_id": null
            
91
    },
132
    },
            
92
    {
133
    {
            
93
      "display_name": "SMT",
134
      "display_name": "SMT",
            
94
      "id": "ea97ac69-b473-4bd2-85c7-9109fec133dc",
135
      "id": "ea97ac69-b473-4bd2-85c7-9109fec133dc",
            
95
      "name": "SMT",
136
      "name": "SMT",
            
96
      "state": "active",
137
      "state": "active",
            
97
      "vocabulary_id": null
138
      "vocabulary_id": null
            
98
    }
139
    }
            
99
  ],
140
  ],
            
100
  "title": "cmodels(diff)",
141
  "title": "cmodels(diff)",
            
101
  "type": "dataset",
142
  "type": "dataset",
            
102
  "version": ""
143
  "version": ""
            
103
}
144
}