About: RDF-Compatible Model-Theoretic Semantics for OWL

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

About: RDF-Compatible Model-Theoretic Semantics for OWL Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
Title	RDF-Compatible Model-Theoretic Semantics for OWL
awol:content	<p>Your browser does not support iframes.</p>
links to	http://www.w3.org/TR/2004/REC-owl-semantics-20040210/ https://www.w3.org/ https://www.w3.org/Consortium/Legal/ipr-notice#Copyright https://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer https://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks http://www.csail.mit.edu/ http://www.ercim.org/ http://www.keio.ac.jp/ http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#5.2 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#theorem-2 https://www.w3.org/2001/sw/WebOnt/errata#owl-semantics https://www.w3.org/2001/sw/RDFCore/translation/owl-semantics https://www.w3.org/Consortium/Legal/copyright-software http://www.w3.org/TR/2004/REC-owl-semantics-20040210/#contents http://www.bell-labs.com/user/pfps/ https://www.w3.org/TR/2003/WD-rdf-mt-20030123/#DefSemanticExtension http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#theorem-1 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/syntax.html#owl_built_in_classes http://www.w3.org/TR/2004/REC-owl-semantics-20040210/syntax.html#owl_built_in_annotation_properties http://www.w3.org/TR/2004/REC-owl-semantics-20040210/syntax.html#owl_built_in_ontology_properties http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#built_in_vocabulary http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#comprehension_condition_for_lists_of_individuals http://www.w3.org/TR/2004/REC-owl-semantics-20040210/mapping.html#disallowed_vocabulary http://www.w3.org/TR/2004/REC-owl-semantics-20040210/direct.html#direct_entails http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#rdfs_entails_DL http://www.w3.org/TR/2004/REC-owl-semantics-20040210/direct.html#direct_consistent http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#rdfs_consistent_DL http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#rdfs_entails_Full https://www.w3.org/Consortium/Legal/copyright-documents http://www.coginst.uwf.edu/~phayes/ http://www.cs.man.ac.uk/~horrocks/ http://www.w3.org/TR/2004/REC-owl-semantics-20040210/direct.html http://www.w3.org/TR/2004/REC-owl-semantics-20040210/mapping.html http://www.w3.org/TR/2004/REC-owl-semantics-20040210/mapping.html#4.1 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/mapping.html#4.2 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#5.1 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#5.3 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#5.4 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/proofs.html http://www.w3.org/TR/2004/REC-owl-semantics-20040210/proofs.html#A.1 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/proofs.html#A.2 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#5 http://www.w3.org/TR/2004/REC-owl-semantics-20040210/#ref-rdfmt http://www.w3.org/TR/2004/REC-owl-semantics-20040210/mapping.html#disallowed_owl_vocabulary http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html#note-correspondence http://www.w3.org/TR/2004/REC-owl-semantics-20040210/mapping.html#separated_vocabulary
http://www.w3.org/...10/rdfs.html#NULL	text/html; charset=utf-8
http://www.w3.org/...s.html#stylesheet	./spec.css https://www.w3.org/StyleSheets/TR/W3C-REC
is topic of	http://www.w3.org/TR/2004/REC-owl-semantics-20040210/rdfs.html

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software