About: Typed Higher-Order Variant of SROIQ

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Typed Higher-Order Variant of SROIQ - Why Not? Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://ceur-ws.org/Vol-1193/paper_56.pdf
Description	Main topics of the document: ontology; background models; PURO; metamodelling Main topics of the document: ontology; background models; PURO; metamodelling (en)
Title	Typed Higher-Order Variant of SROIQ - Why Not? Typed Higher-Order Variant of SROIQ - Why Not? (en)
skos:prefLabel	Typed Higher-Order Variant of SROIQ - Why Not? Typed Higher-Order Variant of SROIQ - Why Not? (en)
skos:notation	RIV/61384399:31140/14:00045127!RIV15-MSM-31140___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(7E12042)
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Svátek, Vojtěch Vacura, Miroslav
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoká škola ekonomická v Praze / Fakulta informatiky a statistiky
http://linked.open...dnocenehoVysledku	51575
http://linked.open...ai/riv/idVysledku	RIV/61384399:31140/14:00045127
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	ontology; background models; PURO; metamodelling (en)
http://linked.open.../riv/klicoveSlovo	PURO ontology metamodelling background models
http://linked.open...ontrolniKodProRIV	[27DCD6F81CC6]
http://linked.open...v/mistoKonaniAkce	Vídeň
http://linked.open...i/riv/mistoVydani	Cáchy
http://linked.open...i/riv/nazevZdroje	Informal Proceedings of the 27th International Workshop on Description Logics
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Creating Knowledge out of Interlinked Data
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/tvurceVysledku	Svátek, Vojtěch Vacura, Miroslav Homola, M. Kľuka, J.
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2014-07-17 (xsd:date)
issn	1613-0073
number of pages	12 (xsd:int)
http://purl.org/ne...btex#hasPublisher	CEUR
http://localhost/t...ganizacniJednotka	31140

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of Feb 22 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 82 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software