Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 4
Video in druga učna gradiva
Oznake: mathematics;logic
We propose a novel method for reasoning in the description logic $\mathcal{SHIQ}$ . After a satisfiability preserving transformation from $\mathcal{SHIQ}$ to the description logic $\mathcal{ALCI}b$ , the obtained $\mathcal{ALCI}b$ Tbox $\mathcal{T}$ is converted into an ordered binary deci ...
Leto: 2008 Vir: videolectures.net
Video in druga učna gradiva
Oznake: computer science;semantic web
SPARQL 1.1 supports the use of ontologies to enrich query results with logical entailments, and OWL 2 provides a dedicated fragment OWL QL for this purpose. Typical implementations use the OWL QL schema to rewrite a conjunctive query into an equivalent set of queries, to be answered against the non- ...
Leto: 2014 Vir: videolectures.net
Video in druga učna gradiva
Oznake: computer science;big data;semantic web
With the rise of the Semantic Web and in the course of the standardization of ontology languages, logic-based knowledge representation (KR) has received wide attention from academics and practitioners alike. This talk will present a – necessarily subjective – view on the role of KR in the context o ...
Leto: 2018 Vir: videolectures.net
Video in druga učna gradiva
Oznake: computer science;semantic web;big data
Leto: 2013 Vir: videolectures.net
Št. zadetkov: 4
Ključne besede:
Leto izdaje:
Repozitorij:
Tipologija:
Jezik: