OASIS

IRI:
http://www.dmi.unict.it/oasis-abox.owl
Imported Ontologies :
http://www.dmi.unict.it/oasis.owl (visualise it with LODE )
Other visualisation :
Ontology source - WebVowl

Abstract

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.

Table of Content

  1. Named Individuals
  2. Namespace Declarations

Named Individuals

<=ni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#lessEqual

belongs to
data operator

==ni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#equal

belongs to
data operator

acceptni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#accept

belongs to
action

addni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#add

belongs to
action

anyni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#any

belongs to
existential operator

blockchain digital tokenni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#blockchain_digital_token

belongs to
blockchain digital token

burnni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#burn

belongs to
action

checkni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#check

belongs to
action

closeni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#close

belongs to
action

computeni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#compute

belongs to
action

declineni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#decline

belongs to
action

delegateni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#delegate

belongs to
action

establishni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#establish

belongs to
action

executeni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#execute

belongs to
action

existni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#exist

belongs to
action
existential operator

greatherni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#greatherThan

belongs to
data operator

greather equalni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#greatherEqual

belongs to
data operator

installni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#install

belongs to
action

installationni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#installation

belongs to
operator argument

lessni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#lessThan

belongs to
data operator

mintni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#mint

belongs to
action

modifyni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#modify

belongs to
action

ownni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#own

belongs to
action

ownerni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#owner

belongs to
description object

ownershipni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#ownership

belongs to
description object

parseni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#parse

belongs to
action

publishni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#publish

belongs to
action

rejectni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#reject

belongs to
action

removeni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#remove

belongs to
action

requestni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#request

belongs to
action

retractni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#retract

belongs to
action

retrieveni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#retrieve

belongs to
action

seekni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#seek

belongs to
action

space spanni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#spaceSpan

belongs to
space operator

time spanni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#timeSpan

belongs to
time operator

transferni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#transfer

belongs to
action

uninstallni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#uninstall

belongs to
action

updateni back to ToC or Named Individual ToC

IRI: http://www.dmi.unict.it/oasis-abox.owl#update

belongs to
action

Namespace Declarations back to ToC

default namespace
http://www.dmi.unict.it/oasis-abox.owl#
ether-oasis-owl
http://www.dmi.unict.it/ether-oasis.owl#
oasis
http://www.dmi.unict.it/oasis.owl#
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
terms
http://purl.org/dc/terms/
www-dmi-unict-it
http://www.dmi.unict.it/
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni .