Not logged in :
Login
(Sponging disallowed)
Facets (new session)
Description
Metadata
Settings
Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
urn:kidehen:glossary:inference:rules
urn:owl:inference:rules:tests
virtpivot-rules
virtrdf-eturtle-containers
virtrdf-hashtag
virtrdf-ifp
virtrdf-label
virtrdf-meta-entity-class
None
Inverse Functional Properties:
Disabled (fastest)
Apply to subjects only
Apply to objects only
Apply to both subjects and objects
"Same As":
Disabled (fastest)
Apply to subjects only
Apply to objects only
Apply to both subjects and objects (recommended)
Apply to subjects, objects and predicates (not recommended on big datasets)
Apply to predicates only (special use cases only)
About:
Re: [ontolog-forum] mKR proof of correctness
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
schema:TechArticle
, within Data Space :
kingsley.idehen.net
associated with source
document(s)
Type:
Document
CreativeWork
Article
WebPage
TechArticle
New Facet based on Instances of this Class
Explaining what 'Semantics' means.
Attributes
Values
type
Document
CreativeWork
Article
WebPage
TechArticle
label
Re: [ontolog-forum] mKR proof of correctness
comment
Explaining what 'Semantics' means.
References
Language
Semantics
Semantics
Language
maker
Patrick John Hayes
author
Patrick John Hayes
name
Re: [ontolog-forum] mKR proof of correctness
comment
Explaining what 'Semantics' means.
is
made
of
Patrick John Hayes
is
Is Referenced By
of
Semantics
Faceted Search & Find service v1.17_git60 as of Apr 02 2021
Alternative Linked Data Documents:
PivotViewer
|
iSPARQL
|
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 08.03.3320 as of Apr 13 2021, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (6 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software