A \textsf{C++} reasoner for the description logic $\shdlssx$. Article Swipe

View

Domenico Cantone , Marianna Nicolosi Asmundo , Daniele Francesco Santamaria ·

YOU? · · 2017 · Open Access ·

We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$). The reasoner checks the consistency of $\shdlssx$-knowledge bases (KBs) represented in set-theoretic terms. It is implemented in \textsf{C++} and supports $\shdlssx$-KBs serialized in the OWL/XML format. To the best of our knowledge, this is the first attempt to implement a reasoner for the consistency checking of a description logic represented via a fragment of set theory that can also classify standard OWL ontologies.

Related Topics

Computer Science

Programming Language

Theoretical Computer Science

Discrete Mathematics

Mathematics

Artificial Intelligence

Semantic Web

Concepts

Semantic reasoner Description logic Decidability Consistency (knowledge bases) Fragment (logic) Computer science Set (abstract data type) Programming language XML Web Ontology Language Theoretical computer science Discrete mathematics Mathematics Artificial intelligence Semantic Web World Wide Web

Metadata

Type: preprint
Language: en
Landing Page: https://arxiv.org/abs/1707.07545v6
OA Status: green
Related Works: 20
OpenAlex ID: https://openalex.org/W2737855517

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W2737855517

Canonical identifier for this work in OpenAlex
Title: A \textsf{C++} reasoner for the description logic $\shdlssx$.

Work title
Type: preprint

OpenAlex work type
Language: en

Primary language
Publication year: 2017

Year of publication
Publication date: 2017-07-21

Full publication date if available
Authors: Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria

List of authors in order
Landing page: https://arxiv.org/abs/1707.07545v6

Publisher landing page
Open access: Yes

Whether a free full text is available
OA status: green

Open access status per OpenAlex
OA URL: https://arxiv.org/abs/1707.07545v6

Direct OA link when available
Concepts: Semantic reasoner, Description logic, Decidability, Consistency (knowledge bases), Fragment (logic), Computer science, Set (abstract data type), Programming language, XML, Web Ontology Language, Theoretical computer science, Discrete mathematics, Mathematics, Artificial intelligence, Semantic Web, World Wide Web

Top concepts (fields/topics) attached by OpenAlex
Cited by: 0

Total citation count in OpenAlex
Related works (count): 20

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W2737855517
doi
ids.mag	2737855517
ids.openalex	https://openalex.org/W2737855517
fwci
type	preprint
title	A \textsf{C++} reasoner for the description logic $\shdlssx$.
biblio.issue
biblio.volume
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T10215
topics[0].field.id	https://openalex.org/fields/17
topics[0].field.display_name	Computer Science
topics[0].score	0.9994999766349792
topics[0].domain.id	https://openalex.org/domains/3
topics[0].domain.display_name	Physical Sciences
topics[0].subfield.id	https://openalex.org/subfields/1702
topics[0].subfield.display_name	Artificial Intelligence
topics[0].display_name	Semantic Web and Ontologies
topics[1].id	https://openalex.org/T11010
topics[1].field.id	https://openalex.org/fields/17
topics[1].field.display_name	Computer Science
topics[1].score	0.9884999990463257
topics[1].domain.id	https://openalex.org/domains/3
topics[1].domain.display_name	Physical Sciences
topics[1].subfield.id	https://openalex.org/subfields/1702
topics[1].subfield.display_name	Artificial Intelligence
topics[1].display_name	Logic, Reasoning, and Knowledge
topics[2].id	https://openalex.org/T10181
topics[2].field.id	https://openalex.org/fields/17
topics[2].field.display_name	Computer Science
topics[2].score	0.9678000211715698
topics[2].domain.id	https://openalex.org/domains/3
topics[2].domain.display_name	Physical Sciences
topics[2].subfield.id	https://openalex.org/subfields/1702
topics[2].subfield.display_name	Artificial Intelligence
topics[2].display_name	Natural Language Processing Techniques
is_xpac	False
apc_list
apc_paid
concepts[0].id	https://openalex.org/C9616225
concepts[0].level	2
concepts[0].score	0.977117657661438
concepts[0].wikidata	https://www.wikidata.org/wiki/Q3929429
concepts[0].display_name	Semantic reasoner
concepts[1].id	https://openalex.org/C102993220
concepts[1].level	2
concepts[1].score	0.7889171838760376
concepts[1].wikidata	https://www.wikidata.org/wiki/Q387196
concepts[1].display_name	Description logic
concepts[2].id	https://openalex.org/C153269930
concepts[2].level	2
concepts[2].score	0.7262617945671082
concepts[2].wikidata	https://www.wikidata.org/wiki/Q430001
concepts[2].display_name	Decidability
concepts[3].id	https://openalex.org/C2776436953
concepts[3].level	2
concepts[3].score	0.6942931413650513
concepts[3].wikidata	https://www.wikidata.org/wiki/Q5163215
concepts[3].display_name	Consistency (knowledge bases)
concepts[4].id	https://openalex.org/C2776235265
concepts[4].level	2
concepts[4].score	0.6543601751327515
concepts[4].wikidata	https://www.wikidata.org/wiki/Q18392052
concepts[4].display_name	Fragment (logic)
concepts[5].id	https://openalex.org/C41008148
concepts[5].level	0
concepts[5].score	0.6142884492874146
concepts[5].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[5].display_name	Computer science
concepts[6].id	https://openalex.org/C177264268
concepts[6].level	2
concepts[6].score	0.5788750648498535
concepts[6].wikidata	https://www.wikidata.org/wiki/Q1514741
concepts[6].display_name	Set (abstract data type)
concepts[7].id	https://openalex.org/C199360897
concepts[7].level	1
concepts[7].score	0.5424777269363403
concepts[7].wikidata	https://www.wikidata.org/wiki/Q9143
concepts[7].display_name	Programming language
concepts[8].id	https://openalex.org/C8797682
concepts[8].level	2
concepts[8].score	0.5310842394828796
concepts[8].wikidata	https://www.wikidata.org/wiki/Q2115
concepts[8].display_name	XML
concepts[9].id	https://openalex.org/C101230327
concepts[9].level	3
concepts[9].score	0.44817790389060974
concepts[9].wikidata	https://www.wikidata.org/wiki/Q826165
concepts[9].display_name	Web Ontology Language
concepts[10].id	https://openalex.org/C80444323
concepts[10].level	1
concepts[10].score	0.424100786447525
concepts[10].wikidata	https://www.wikidata.org/wiki/Q2878974
concepts[10].display_name	Theoretical computer science
concepts[11].id	https://openalex.org/C118615104
concepts[11].level	1
concepts[11].score	0.3632078468799591
concepts[11].wikidata	https://www.wikidata.org/wiki/Q121416
concepts[11].display_name	Discrete mathematics
concepts[12].id	https://openalex.org/C33923547
concepts[12].level	0
concepts[12].score	0.2751711905002594
concepts[12].wikidata	https://www.wikidata.org/wiki/Q395
concepts[12].display_name	Mathematics
concepts[13].id	https://openalex.org/C154945302
concepts[13].level	1
concepts[13].score	0.22525417804718018
concepts[13].wikidata	https://www.wikidata.org/wiki/Q11660
concepts[13].display_name	Artificial intelligence
concepts[14].id	https://openalex.org/C2129575
concepts[14].level	2
concepts[14].score	0.1687699854373932
concepts[14].wikidata	https://www.wikidata.org/wiki/Q54837
concepts[14].display_name	Semantic Web
concepts[15].id	https://openalex.org/C136764020
concepts[15].level	1
concepts[15].score	0.12472346425056458
concepts[15].wikidata	https://www.wikidata.org/wiki/Q466
concepts[15].display_name	World Wide Web
keywords[0].id	https://openalex.org/keywords/semantic-reasoner
keywords[0].score	0.977117657661438
keywords[0].display_name	Semantic reasoner
keywords[1].id	https://openalex.org/keywords/description-logic
keywords[1].score	0.7889171838760376
keywords[1].display_name	Description logic
keywords[2].id	https://openalex.org/keywords/decidability
keywords[2].score	0.7262617945671082
keywords[2].display_name	Decidability
keywords[3].id	https://openalex.org/keywords/consistency
keywords[3].score	0.6942931413650513
keywords[3].display_name	Consistency (knowledge bases)
keywords[4].id	https://openalex.org/keywords/fragment
keywords[4].score	0.6543601751327515
keywords[4].display_name	Fragment (logic)
keywords[5].id	https://openalex.org/keywords/computer-science
keywords[5].score	0.6142884492874146
keywords[5].display_name	Computer science
keywords[6].id	https://openalex.org/keywords/set
keywords[6].score	0.5788750648498535
keywords[6].display_name	Set (abstract data type)
keywords[7].id	https://openalex.org/keywords/programming-language
keywords[7].score	0.5424777269363403
keywords[7].display_name	Programming language
keywords[8].id	https://openalex.org/keywords/xml
keywords[8].score	0.5310842394828796
keywords[8].display_name	XML
keywords[9].id	https://openalex.org/keywords/web-ontology-language
keywords[9].score	0.44817790389060974
keywords[9].display_name	Web Ontology Language
keywords[10].id	https://openalex.org/keywords/theoretical-computer-science
keywords[10].score	0.424100786447525
keywords[10].display_name	Theoretical computer science
keywords[11].id	https://openalex.org/keywords/discrete-mathematics
keywords[11].score	0.3632078468799591
keywords[11].display_name	Discrete mathematics
keywords[12].id	https://openalex.org/keywords/mathematics
keywords[12].score	0.2751711905002594
keywords[12].display_name	Mathematics
keywords[13].id	https://openalex.org/keywords/artificial-intelligence
keywords[13].score	0.22525417804718018
keywords[13].display_name	Artificial intelligence
keywords[14].id	https://openalex.org/keywords/semantic-web
keywords[14].score	0.1687699854373932
keywords[14].display_name	Semantic Web
keywords[15].id	https://openalex.org/keywords/world-wide-web
keywords[15].score	0.12472346425056458
keywords[15].display_name	World Wide Web
language	en
locations[0].id	mag:2737855517
locations[0].is_oa	True
locations[0].source.id	https://openalex.org/S4306400194
locations[0].source.issn
locations[0].source.type	repository
locations[0].source.is_oa	True
locations[0].source.issn_l
locations[0].source.is_core	False
locations[0].source.is_in_doaj	False
locations[0].source.display_name	arXiv (Cornell University)
locations[0].source.host_organization	https://openalex.org/I205783295
locations[0].source.host_organization_name	Cornell University
locations[0].source.host_organization_lineage	https://openalex.org/I205783295
locations[0].license
locations[0].pdf_url
locations[0].version	submittedVersion
locations[0].raw_type
locations[0].license_id
locations[0].is_accepted	False
locations[0].is_published	False
locations[0].raw_source_name	arXiv (Cornell University)
locations[0].landing_page_url	https://arxiv.org/abs/1707.07545v6
authorships[0].author.id	https://openalex.org/A5045684463
authorships[0].author.orcid	https://orcid.org/0000-0002-1306-1166
authorships[0].author.display_name	Domenico Cantone
authorships[0].author_position	first
authorships[0].raw_author_name	Domenico Cantone
authorships[0].is_corresponding	False
authorships[1].author.id	https://openalex.org/A5084634158
authorships[1].author.orcid	https://orcid.org/0000-0003-4456-5110
authorships[1].author.display_name	Marianna Nicolosi Asmundo
authorships[1].author_position	middle
authorships[1].raw_author_name	Marianna Nicolosi Asmundo
authorships[1].is_corresponding	False
authorships[2].author.id	https://openalex.org/A5012973308
authorships[2].author.orcid	https://orcid.org/0000-0002-4273-6521
authorships[2].author.display_name	Daniele Francesco Santamaria
authorships[2].author_position	last
authorships[2].raw_author_name	Daniele Francesco Santamaria
authorships[2].is_corresponding	False
has_content.pdf	False
has_content.grobid_xml	False
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://arxiv.org/abs/1707.07545v6
open_access.oa_status	green
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	A \textsf{C++} reasoner for the description logic $\shdlssx$.
has_fulltext	False
is_retracted	False
updated_date	2025-10-10T17:16:08.811792
primary_topic.id	https://openalex.org/T10215
primary_topic.field.id	https://openalex.org/fields/17
primary_topic.field.display_name	Computer Science
primary_topic.score	0.9994999766349792
primary_topic.domain.id	https://openalex.org/domains/3
primary_topic.domain.display_name	Physical Sciences
primary_topic.subfield.id	https://openalex.org/subfields/1702
primary_topic.subfield.display_name	Artificial Intelligence
primary_topic.display_name	Semantic Web and Ontologies
related_works	https://openalex.org/W2810649685, https://openalex.org/W2804740741, https://openalex.org/W2786806595, https://openalex.org/W2978080124, https://openalex.org/W2915115266, https://openalex.org/W2729696212, https://openalex.org/W2397357298, https://openalex.org/W328331695, https://openalex.org/W2154829072, https://openalex.org/W119226878, https://openalex.org/W2045763960, https://openalex.org/W2735862757, https://openalex.org/W1529442639, https://openalex.org/W2138295507, https://openalex.org/W1513261665, https://openalex.org/W1485157689, https://openalex.org/W2092207224, https://openalex.org/W2115969784, https://openalex.org/W2034589153, https://openalex.org/W2148126695
cited_by_count	0
locations_count	1
best_oa_location.id	mag:2737855517
best_oa_location.is_oa	True
best_oa_location.source.id	https://openalex.org/S4306400194
best_oa_location.source.issn
best_oa_location.source.type	repository
best_oa_location.source.is_oa	True
best_oa_location.source.issn_l
best_oa_location.source.is_core	False
best_oa_location.source.is_in_doaj	False
best_oa_location.source.display_name	arXiv (Cornell University)
best_oa_location.source.host_organization	https://openalex.org/I205783295
best_oa_location.source.host_organization_name	Cornell University
best_oa_location.source.host_organization_lineage	https://openalex.org/I205783295
best_oa_location.license
best_oa_location.pdf_url
best_oa_location.version	submittedVersion
best_oa_location.raw_type
best_oa_location.license_id
best_oa_location.is_accepted	False
best_oa_location.is_published	False
best_oa_location.raw_source_name	arXiv (Cornell University)
best_oa_location.landing_page_url	https://arxiv.org/abs/1707.07545v6
primary_location.id	mag:2737855517
primary_location.is_oa	True
primary_location.source.id	https://openalex.org/S4306400194
primary_location.source.issn
primary_location.source.type	repository
primary_location.source.is_oa	True
primary_location.source.issn_l
primary_location.source.is_core	False
primary_location.source.is_in_doaj	False
primary_location.source.display_name	arXiv (Cornell University)
primary_location.source.host_organization	https://openalex.org/I205783295
primary_location.source.host_organization_name	Cornell University
primary_location.source.host_organization_lineage	https://openalex.org/I205783295
primary_location.license
primary_location.pdf_url
primary_location.version	submittedVersion
primary_location.raw_type
primary_location.license_id
primary_location.is_accepted	False
primary_location.is_published	False
primary_location.raw_source_name	arXiv (Cornell University)
primary_location.landing_page_url	https://arxiv.org/abs/1707.07545v6
publication_date	2017-07-21
publication_year	2017
referenced_works_count	0
abstract_inverted_index.a	6, 11, 65, 72, 77
abstract_inverted_index.It	39
abstract_inverted_index.To	52
abstract_inverted_index.We	0
abstract_inverted_index.an	2
abstract_inverted_index.in	36, 42, 48
abstract_inverted_index.is	40, 59
abstract_inverted_index.of	5, 14, 31, 55, 71, 79
abstract_inverted_index.to	63
abstract_inverted_index.OWL	87
abstract_inverted_index.The	26
abstract_inverted_index.and	44
abstract_inverted_index.can	83
abstract_inverted_index.for	10, 67
abstract_inverted_index.our	56
abstract_inverted_index.set	17, 80
abstract_inverted_index.the	20, 29, 49, 53, 60, 68
abstract_inverted_index.via	76
abstract_inverted_index.also	84
abstract_inverted_index.best	54
abstract_inverted_index.that	82
abstract_inverted_index.this	58
abstract_inverted_index.(KBs)	34
abstract_inverted_index.based	8
abstract_inverted_index.bases	33
abstract_inverted_index.first	61
abstract_inverted_index.logic	22, 74
abstract_inverted_index.checks	28
abstract_inverted_index.terms.	38
abstract_inverted_index.theory	18, 81
abstract_inverted_index.OWL/XML	50
abstract_inverted_index.attempt	62
abstract_inverted_index.format.	51
abstract_inverted_index.ongoing	3
abstract_inverted_index.present	1
abstract_inverted_index.$\dlssx$	23
abstract_inverted_index.(shortly	24
abstract_inverted_index.checking	70
abstract_inverted_index.classify	85
abstract_inverted_index.fragment	13, 78
abstract_inverted_index.reasoner	9, 27, 66
abstract_inverted_index.standard	86
abstract_inverted_index.supports	45
abstract_inverted_index.\ke\space	7
abstract_inverted_index.decidable	12
abstract_inverted_index.implement	64
abstract_inverted_index.elementary	16
abstract_inverted_index.expressing	19
abstract_inverted_index.knowledge,	57
abstract_inverted_index.serialized	47
abstract_inverted_index.stratified	15
abstract_inverted_index.consistency	30, 69
abstract_inverted_index.description	21, 73
abstract_inverted_index.implemented	41
abstract_inverted_index.ontologies.	88
abstract_inverted_index.represented	35, 75
abstract_inverted_index.$\shdlssx$).	25
abstract_inverted_index.\textsf{C++}	43
abstract_inverted_index.set-theoretic	37
abstract_inverted_index.$\shdlssx$-KBs	46
abstract_inverted_index.implementation	4
abstract_inverted_index.$\shdlssx$-knowledge	32
cited_by_percentile_year
countries_distinct_count	0
institutions_distinct_count	3
citation_normalized_percentile