Using the AIDA Language to Formally Organize Scientific Claims

https://w3id.org/np/RAjWXV2CVxtuCIxXxL4fRIdmk32d4h1MAvdOldr6Qf4FY

 Using the AIDA Language to Formally Organize Scientific Claims BookChapter ScholarlyWork ▼ comment... approve/disapprove... edit as derived nanopublication...

http://id.crossref.org/issn/0922-6389

0922-6389

http://purl.org/dc/terms/title

title

(this is a literal)

"Frontiers in Artificial Intelligence and Applications"

.

https://doi.org/10.3233/978-1-61499-904-1-52

doi:10.3233/978-1-61499-904-1-52

http://purl.org/dc/terms/abstract

abstract

(this is a literal)

"Scientific communication still mainly relies on natural language written in scientific papers, which makes the described knowledge very difficult to access with automatic means. We can therefore only make limited use of formal knowledge organization methods to support researchers and other interested parties with features such as automatic aggregations, fact checking, consistency checking, question answering, and powerful semantic search. Existing approaches to solve this problem by improving the scientific communication methods have either very restricted coverage, require formal logic skills on the side of the researchers, or depend on unreliable machine learning for the formalization of knowledge. Here, I propose an approach to this problem that is general, intuitive, and flexible. It is based on a unique kind of controlled natural language, called AIDA, consisting of English sentences that are atomic, independent, declarative, and absolute. Such sentences can then serve as nodes in a network of scientific claims linked to publications, researchers, and domain elements. I present here some small studies on preliminary applications of this language. The results indicate that it is well accepted by users and provides a good basis for the creation of a knowledge graph of scientific findings."

.

https://doi.org/10.3233/978-1-61499-904-1-52

doi:10.3233/978-1-61499-904-1-52

http://purl.org/dc/terms/date

date

(this is a literal)

"2018"

.

https://doi.org/10.3233/978-1-61499-904-1-52

doi:10.3233/978-1-61499-904-1-52

http://purl.org/dc/terms/isPartOf

isPartOf

http://id.crossref.org/issn/0922-6389

0922-6389

.

https://doi.org/10.3233/978-1-61499-904-1-52

doi:10.3233/978-1-61499-904-1-52

http://purl.org/dc/terms/title

title

(this is a literal)

"Using the AIDA Language to Formally Organize Scientific Claims"

.

https://doi.org/10.3233/978-1-61499-904-1-52

doi:10.3233/978-1-61499-904-1-52

http://purl.org/ontology/bibo/authorList

authorList

This is a local identifier minted within the nanopublication. https://w3id.org/np/RAjWXV2CVx.../author-list

author-list

.

https://doi.org/10.3233/978-1-61499-904-1-52

doi:10.3233/978-1-61499-904-1-52

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

type

http://purl.org/spar/fabio/BookChapter

BookChapter

.

https://orcid.org/0000-0002-1267-0234

Tobias Kuhn

http://schema.org/affiliation

affiliation

https://ror.org/008xxew50

008xxew50

.

https://orcid.org/0000-0002-1267-0234

Tobias Kuhn

http://xmlns.com/foaf/0.1/name

name

(this is a literal)

"Tobias Kuhn"

.

https://ror.org/008xxew50

008xxew50

http://xmlns.com/foaf/0.1/name

name

(this is a literal)

"Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, Netherlands"

.

This is a local identifier minted within the nanopublication. https://w3id.org/np/RAjWXV2CVx.../author-list

author-list

http://www.w3.org/1999/02/22-rdf-syntax-ns#_1

_1

https://orcid.org/0000-0002-1267-0234

Tobias Kuhn

.

This is the identifier for the assertion of this nanopublication. https://w3id.org/np/RAjWXV2CVx.../assertion The assertion above http://www.w3.org/ns/prov#wasAttributedTo

wasAttributedTo

https://orcid.org/0000-0002-1267-0234

Tobias Kuhn

.

This is the identifier for the assertion of this nanopublication. https://w3id.org/np/RAjWXV2CVx.../assertion The assertion above http://www.w3.org/ns/prov#wasDerivedFrom

wasDerivedFrom

https://doi.org/10.3233/978-1-61499-904-1-52

doi:10.3233/978-1-61499-904-1-52

.

https://orcid.org/0000-0002-1267-0234

Tobias Kuhn

http://xmlns.com/foaf/0.1/name has the name (this is a literal)

"Tobias Kuhn"

.

This is the identifier for this whole nanopublication. https://w3id.org/np/RAjWXV2CVx... This nanopublication http://www.w3.org/2000/01/rdf-schema#label has the label (this is a literal)

"Using the AIDA Language to Formally Organize Scientific Claims"

.

This is the identifier for this whole nanopublication. https://w3id.org/np/RAjWXV2CVx... This nanopublication http://purl.org/nanopub/x/hasNanopubType has the type http://purl.org/spar/fabio/ScholarlyWork

ScholarlyWork

.

This is the identifier for this whole nanopublication. https://w3id.org/np/RAjWXV2CVx... This nanopublication date and time when the nanopublication was created http://purl.org/dc/terms/created was created on (this is a literal)

"2026-02-22T19:44:42.000+01:00"

(xsd:dateTime) .

This is the identifier for this whole nanopublication. https://w3id.org/np/RAjWXV2CVx... This nanopublication the nanopublication consists of an introduction of the given resource http://purl.org/nanopub/x/introduces introduces https://doi.org/10.3233/978-1-61499-904-1-52

doi:10.3233/978-1-61499-904-1-52

.

This is a local identifier minted within the nanopublication. https://w3id.org/np/RAjWXV2CVx.../sig

sig

http://purl.org/nanopub/x/hasSignatureTarget has as target This is the identifier for this whole nanopublication. https://w3id.org/np/RAjWXV2CVx... this nanopublication .

This is a local identifier minted within the nanopublication. https://w3id.org/np/RAjWXV2CVx.../sig

sig

http://purl.org/nanopub/x/hasAlgorithm has the algorithm (this is a literal)

"RSA"

.

This is a local identifier minted within the nanopublication. https://w3id.org/np/RAjWXV2CVx.../sig

sig

http://purl.org/nanopub/x/hasPublicKey has the public key (this is a literal)

"MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArRL5MjH1KfuE89dpKsIiscF/THrJ4uSvhl0NgaC8x3TdTDrL00kCnlH+2g7PMYhaUQIGWq27TTXHAGp7ehO8yLjRNeDCc8zjUCQJqLbzay3DB51PCiz50OsMgxiZC1+e0bVdk/CAQV4oVo+VgI+awHI1bTT4Yp7pR2I67imf1PIcwczGVhn8EQwtNdWQOZ63wDgUCY+6IubHBQzjLfbYh0828UETEyIV28T7fvf5+y4A5M590InmgkLGpJbRXoL0pnCm1BtFOoxeAVqfivbxIZWPYN2Yd0cSfqwIIUYyaLFpjDrBwc4iJdOus4UQ9OYqkeZDMpU3opU8jWKDIm77jwIDAQAB"

.

This is a local identifier minted within the nanopublication. https://w3id.org/np/RAjWXV2CVx.../sig

sig

http://purl.org/nanopub/x/hasSignature has the signature (this is a literal)

"Vd9H+qwfq1Huewl/b5kERmVstj9f4BkPI6PIiNRfzk5XdUqyBdBPdBxoXgKhjx5THYB1Whxc+xU7EM9fuwc6fK9ixTtdaJH8yAhjj1LaYFMsWOAcK1kd6qZ5QG2KJl6O1R/uG/DyPdhFESyQk7FS8GNKynzSTyD7m3ri393MC7Lwi2XWevfs3qXZ1mM7Xn2SxetBJtJdQNyeJ7srmxsy8tGTsO20Eh81ZtNs9piCPH0CzFs6I6ytR/4ayw7/dDSjQi/PLZJzDzyRqDCVnPIw8ssOuOnkM0QZXpBApxELxJR6Oqwbk5alCjXqs7d2AYg7kvo6gsllH2WgcIJ+cohqJw=="

.

This is a local identifier minted within the nanopublication. https://w3id.org/np/RAjWXV2CVx.../sig

sig

http://purl.org/nanopub/x/signedBy is signed by https://w3id.org/np/RAkkUz7qBJ.../DOI-bot

DOI bot

.

This is the identifier for this whole nanopublication. https://w3id.org/np/RAjWXV2CVx...

this nanopublication

http://purl.org/dc/terms/creator

creator

https://w3id.org/np/RAkkUz7qBJ.../DOI-bot

DOI bot

.

This is the identifier for this whole nanopublication. https://w3id.org/np/RAjWXV2CVx...

this nanopublication

http://purl.org/dc/terms/license

license

https://creativecommons.org/publicdomain/zero/1.0/

1.0

.

DOI bot, 22 Feb 2026, 18:44:42 UTC

References