Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cogsys
Dare2Del
Demonstrator - Reasoning WebAPI
Commits
4d02f630
Commit
4d02f630
authored
Jun 11, 2021
by
Siebers, Michael
Browse files
cleanup
parent
73ed9287
Changes
5
Hide whitespace changes
Inline
Side-by-side
doc/schema/background-response-example.json
deleted
100644 → 0
View file @
73ed9287
{
"added"
:
3
,
"received"
:
3
,
"skipped"
:
0
}
\ No newline at end of file
doc/schema/expl-response-example.json
deleted
100644 → 0
View file @
73ed9287
{
"abs_path"
:
"KI Konferenzen/Berlin2018/Folien_v3.pptx"
,
"references"
:
[
{
"id"
:
0
,
"referenced_entities"
:
[
{
"abs_path"
:
"KI Konferenzen/Berlin2018/Folien_v3.pptx"
,
"property"
:
"name"
}
]
},
{
"id"
:
1
,
"referenced_entities"
:
[
{
"abs_path"
:
"KI Konferenzen/Berlin2018/Folien_final.pptx"
,
"property"
:
"name"
}
]
},
{
"id"
:
2
,
"referenced_entities"
:
[
{
"abs_path"
:
"KI Konferenzen/Berlin2018/Folien_v3.pptx"
,
"property"
:
"mtime"
},
{
"abs_path"
:
"KI Konferenzen/Berlin2018/Folien_final.pptx"
,
"property"
:
"mtime"
}
]
}
],
"reasoning"
:
[
{
"text"
:
"die Datei "
},
{
"text"
:
"Folien_v3.pptx"
,
"ref_id"
:
0
},
{
"text"
:
" ist eine Vorversion von "
},
{
"text"
:
"Folien_final.pptx"
,
"ref_id"
:
1
}
],
"reasoning_details"
:
[
[
{
"text"
:
"beref_ide Dateien sind im selben Verzeichnis"
}
],
[
{
"text"
:
"Folien_v3.pptx"
,
"ref_id"
:
0
},
{
"text"
:
" und "
},
{
"text"
:
"Folien_final.pptx"
,
"ref_id"
:
1
},
{
"text"
:
"haben fast den gleichen Inhalt"
}
],
[
{
"text"
:
"die Dateinamen "
},
{
"text"
:
"Folien_v3.pptx"
,
"ref_id"
:
0
},
{
"text"
:
" und "
},
{
"text"
:
"Folien_final.pptx"
,
"ref_id"
:
1
},
{
"text"
:
" beginnen mit (mindestens) 5 gleichen Buchstaben"
}
],
[
{
"text"
:
"Datei "
},
{
"text"
:
"Folien_final.pptx"
,
"ref_id"
:
1
},
{
"text"
:
" ist "
},
{
"text"
:
"neuer"
,
"ref_id"
:
2
},
{
"text"
:
" als Datei "
},
{
"text"
:
"Folien_v3.pptx"
,
"ref_id"
:
0
}
]
]
}
doc/schema/expl-response-schema.json
deleted
100644 → 0
View file @
73ed9287
{
"definitions"
:
{},
"$schema"
:
"http://json-schema.org/draft-07/schema#"
,
"$id"
:
"https://example.com/object1603988523.json"
,
"title"
:
"Root"
,
"type"
:
"object"
,
"description"
:
"Response schema for an object that is classified as irrelevant, including explanation messages and details."
,
"properties"
:
{
"abs_path"
:
{
"$id"
:
"#root/abs_path"
,
"title"
:
"Abs_path"
,
"description"
:
"The object classified as irrelevant."
,
"type"
:
"string"
,
"default"
:
""
},
"references"
:
{
"$id"
:
"#root/references"
,
"title"
:
"References"
,
"description"
:
"A list of objects that are used for eplaining the (ir)relevance"
,
"type"
:
"array"
,
"default"
:
[],
"items"
:{
"$id"
:
"#root/references/items"
,
"title"
:
"Items"
,
"type"
:
"object"
,
"properties"
:
{
"id"
:
{
"$id"
:
"#root/references/items/id"
,
"title"
:
"Id"
,
"type"
:
"integer"
,
"default"
:
0
},
"referenced_entities"
:
{
"$id"
:
"#root/references/items/referenced_entities"
,
"title"
:
"Referenced_entities"
,
"type"
:
"array"
,
"default"
:
[],
"items"
:{
"$id"
:
"#root/references/items/referenced_entities/items"
,
"title"
:
"Items"
,
"type"
:
"object"
,
"properties"
:
{
"abs_path"
:
{
"$id"
:
"#root/references/items/referenced_entities/items/abs_path"
,
"title"
:
"Abs_path"
,
"type"
:
"string"
,
"default"
:
""
},
"property"
:
{
"$id"
:
"#root/references/items/referenced_entities/items/property"
,
"title"
:
"Property"
,
"type"
:
"string"
,
"default"
:
""
}
}
}
}
}
}
},
"reasoning"
:
{
"$id"
:
"#root/reasoning"
,
"title"
:
"Reasoning"
,
"description"
:
"A short description why the object is irrelevant."
,
"type"
:
"array"
,
"default"
:
[],
"items"
:{
"$id"
:
"#root/reasoning/items"
,
"title"
:
"Items"
,
"type"
:
"object"
,
"properties"
:
{
"text"
:
{
"$id"
:
"#root/reasoning/items/text"
,
"title"
:
"Text"
,
"type"
:
"string"
,
"default"
:
""
}
}
}
},
"reasoning_details"
:
{
"$id"
:
"#root/reasoning_details"
,
"title"
:
"Reasoning_details"
,
"description"
:
"A in depth list."
,
"type"
:
"array"
,
"default"
:
[],
"items"
:{
"$id"
:
"#root/reasoning_details/items"
,
"title"
:
"Items"
,
"type"
:
"array"
,
"default"
:
[],
"items"
:{
"$id"
:
"#root/reasoning_details/items/items"
,
"title"
:
"Items"
,
"type"
:
"object"
,
"properties"
:
{
"text"
:
{
"$id"
:
"#root/reasoning_details/items/items/text"
,
"title"
:
"Text"
,
"type"
:
"string"
,
"default"
:
""
}
}
}
}
}
}
}
doc/schema/filesystem-data-example.json
deleted
100644 → 0
View file @
73ed9287
[
{
"type"
:
"file"
,
"abs_path"
:
"/A/B/Filename.exe"
,
"file_size"
:
1024
,
"creation_time"
:
1604235569
,
"modification_time"
:
1604235569
,
"access_time"
:
1604235569
,
"change_time"
:
1604235569
,
"media_type"
:
"img"
,
"filename_extension"
:
"png"
},{
"type"
:
"file"
,
"abs_path"
:
"/A/B/Filename2.exe"
,
"file_size"
:
1024
,
"creation_time"
:
1604235569
,
"modification_time"
:
1604235570
,
"access_time"
:
1604235569
,
"change_time"
:
1604235569
,
"media_type"
:
"img"
,
"filename_extension"
:
"png"
},
{
"type"
:
"directory"
,
"abs_path"
:
"/A/B"
,
"creation_time"
:
1604235509
}
]
\ No newline at end of file
doc/schema/theory_def.pl
deleted
100644 → 0
View file @
73ed9287
%! type(+Typename) is det.
% Defines Typename to be a type.
:-
discontiguous
type
/
1
.
%! subtype(?Subtype,?Supertype) is det.
% Defines that SubType is a direct sub-type of SuperType
:-
discontiguous
subtype
/
2
.
%! has_type(?Entity,?Type) is det.
% True if Entity has the type Type; that is belongs to the type itself or any of its sub-types
:-
discontiguous
has_type
/
2
.
%! file(++Item) is det.
% Defines that Item is a file, represented as absolute path in respect to the chosen root.
:-
discontiguous
file
/
1
.
%! abs_path(++Item) is det.
% alias to file/1
:-
discontiguous
abs_path
/
1
.
%! file_size(++Item) is det.
:-
discontiguous
file_size
/
2
.
%! directory(++Item) is det.
% Defines that Item is a directory, represented as absolute path in respect to the chosen root.
:-
discontiguous
directory
/
1
.
%! in_directory(++Item,+Directory) is det.
:-
discontiguous
in_directory
/
2
.
%! in_directory_recursive(++Item,+Directory) is det.
:-
discontiguous
in_directory_recursive
/
2
.
%! within(++Item,+Directory) is det.
% alias for in_directory_recursive/2
:-
discontiguous
within
/
2
.
%! item_name(++Item,+Name) is det.
% Returns the full name of the item, i.e. trimming absolute path.
:-
discontiguous
item_name
/
2
.
%! filename_base(++Item,+Base) is det.
:-
discontiguous
filename_base
/
2
.
%! filename_extension(++Item,+Extension) is det.
:-
discontiguous
filename_extension
/
2
.
%! media_type(++Item,+Media_type) is det.
:-
discontiguous
media_type
/
2
.
%! creation_time(++Item,+Timestamp) is det.
:-
discontiguous
creation_time
/
2
.
%! change_time(++Item,+Timestamp) is det.
:-
discontiguous
change_time
/
2
.
%! modification_time(++Item,+Timestamp) is det.
:-
discontiguous
modification_time
/
2
.
%! access_time(++Item,+Timestamp) is det.
:-
discontiguous
access_time
/
2
.
/*
ToDo: Decide on predicates below
:- discontiguous creation_type/2.
:- discontiguous byte_dist
:- discontiguous byte_dist_norm/3.
:- discontiguous common_prefix/3.
:- discontiguous common_suffix/3.
:- discontiguous common_infix/3.
:- discontiguous common_infixes/3.
*/
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment