Not logged in :
Login
(Sponging disallowed)
Facets (new session)
Description
Metadata
Settings
Rule:
ActivityStreamsMap
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
offers ontology
oplweb
rel-me-auth
schema-olo
skos-trans
urn:det:rdf:label
urn:rdfs:subclass:subproperty:inference:rules
virtrdf-eturtle-containers
virtrdf-hashtag
virtrdf-ifp
virtrdf-label
virtrdf-meta-entity-class
virtrdf-url
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 :
www.openlinksw.com
associated with source
document(s)
Type:
CreativeWork
WebPage
Article
TechArticle
New Facet based on Instances of this Class
Explaining what 'Semantics' means.
Attributes
Values
description
Explaining what 'Semantics' means.
described by
https://www.openlinksw.com/about/id/entity/urn/data:openlink:glossary
https://www.openlinksw.com/about/id/entity/urn/data:openlink:websites
title
Re: [ontolog-forum] mKR proof of correctness
References
Language
Semantics
has related
Language
Semantics
author
Pat Hayes
comment
Explaining what 'Semantics' means.
type
CreativeWork
WebPage
Article
TechArticle
is
topic
of
urn:data:openlink:glossary
urn:data:openlink:websites
Faceted Search & Find service v1.17_git122 as of Jan 03 2023
Alternative Linked Data Documents:
iSPARQL
|
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 08.03.3330 as of Apr 5 2024, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (30 GB total memory, 26 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software