Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 6
Laconic and Precise Justifications in OWL
Matthew Horridge
Video in druga učna gradiva
Oznake: computer science;semantic web
A justification for an entailment in an OWL ontology is a minimal subset of the ontology that is sufficient for that entailment to hold. Since justifications respect the syntactic form of axioms in an ontology, they are usually neither syntactically nor semantically minimal. This paper presents two ...
Leto: 2008 Vir: videolectures.net
The cognitive complexity of OWL justifications
Matthew Horridge
Video in druga učna gradiva
Oznake: computer science;semantic web;owl - web ontology language
In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies. We introduce a simple cognitive complexity model and present the results of validating that model via experiments involving OWL users. The validation is based on test da ...
Leto: 2011 Vir: videolectures.net
Simplified OWL Ontology Editing: Is WebProtégé Enough?
Matthew Horridge
Video in druga učna gradiva
Oznake: computer science;semantic web;internet, world wide web
Ontology engineering is a task that is notorious for its difficulty. As the group that developed Protégé, the most widely used ontology editor, we are keenly aware of how difficult the users perceive this task to be. In this paper, we present the new version of WebProtégé that we designed with two m ...
Leto: 2013 Vir: videolectures.net
A Study on the Atomic Decomposition of Ontologies
Matthew Horridge
Video in druga učna gradiva
Oznake: computer science;semantic web
The Atomic Decomposition of an ontology is a succinct representation of the logic-based modules in that ontology. Ultimately, it reveals the modular structure of the ontology. Atomic Decompositions appear to be useful for both user and non-user facing services. For example, they can be used for onto ...
Leto: 2014 Vir: videolectures.net
Poster Minute Madness
Matthew Horridge
Video in druga učna gradiva
Oznake: computer science;semantic web
Leto: 2014 Vir: videolectures.net
Reasoning for Ontology Engineering and Usage
Ralf Möller , Anni-Yasmin Turhan , Matthew Horridge , Ulrike Sattler , Diego Calvanese , Giuseppe De Giacomo
Video in druga učna gradiva
Oznake: computer science;semantic web;owl - web ontology language;ontologies
We will provide a brief introduction to OWL, in fact OWL2, and the underlying Description Logic, clarifying the semantics and providing examples to help the understanding of this admittedly complex formalism. In particular, we will discuss common misunderstandings around OWL and OWL2, explain the op ...
Leto: 2008 Vir: videolectures.net
Št. zadetkov: 6
Ključne besede:
Leto izdaje:
Repozitorij:
Tipologija:
Jezik: