Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
dbprdf-label
facets
http://dbpedia.org/resource/inference/rules/dbpedia#
http://dbpedia.org/resource/inference/rules/opencyc#
http://dbpedia.org/resource/inference/rules/umbel#
http://dbpedia.org/resource/inference/rules/yago#
http://dbpedia.org/schema/property_rules#
http://www.ontologyportal.org/inference/rules/SUMO#
http://www.ontologyportal.org/inference/rules/WordNet#
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
None
About:
OWL 2 Web Ontology Language RDF-Based Semantics (Second Edition)
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
owl:Thing
, within Data Space :
wasabi.inria.fr
associated with source
document(s)
Attributes
Values
Title
OWL 2 Web Ontology Language RDF-Based Semantics (Second Edition)
awol:content
Your browser does not support iframes.
links to
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.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-properties
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-axiomatic-classes
http://www.csail.mit.edu/
http://www.keio.ac.jp/
http://www.ietf.org/rfc/rfc2119.txt
http://www.ietf.org/rfc/rfc2396.txt
http://www.fzi.de/michael.schneider
http://semanticweb.org/wiki/Jeremy_J._Carroll
http://www.ercim.eu/
http://www.w3.org/TR/owl2-rdf-based-semantics/#changelog
mailto:public-owl-comments@w3.org
http://lists.w3.org/Archives/Public/public-owl-comments/
mailto:public-owl-dev@w3.org
http://lists.w3.org/Archives/Public/public-owl-dev/
http://www.w3.org/TR/owl2-rdf-based-semantics/#Introduction_.28Informative.29
http://www.w3.org/TR/owl2-rdf-based-semantics/#Ontologies
http://www.w3.org/TR/owl2-rdf-based-semantics/#Syntax
http://www.w3.org/TR/owl2-rdf-based-semantics/#Content_of_Ontologies_.28Informative.29
http://www.w3.org/TR/owl2-rdf-based-semantics/#Vocabulary
http://www.w3.org/TR/owl2-rdf-based-semantics/#Standard_Prefixes
http://www.w3.org/TR/owl2-rdf-based-semantics/#Vocabulary_Terms
http://www.w3.org/TR/owl2-rdf-based-semantics/#Datatype_Names
http://www.w3.org/TR/owl2-rdf-based-semantics/#Facet_Names
http://www.w3.org/TR/owl2-rdf-based-semantics/#Interpretations
http://www.w3.org/TR/owl2-rdf-based-semantics/#Datatype_Maps
http://www.w3.org/TR/owl2-rdf-based-semantics/#Vocabulary_Interpretations
http://www.w3.org/TR/owl2-rdf-based-semantics/#Satisfaction.2C_Consistency_and_Entailment
http://www.w3.org/TR/owl2-rdf-based-semantics/#Parts_of_the_Universe
http://www.w3.org/TR/owl2-rdf-based-semantics/#Class_Extensions
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_the_Parts_of_the_Universe
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_the_Vocabulary_Classes
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_the_Vocabulary_Properties
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Boolean_Connectives
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Enumerations
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Property_Restrictions
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Datatype_Restrictions
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_the_RDFS_Vocabulary
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Equivalence_and_Disjointness
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_N-ary_Disjointness
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Sub_Property_Chains
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Inverse_Properties
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Property_Characteristics
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Keys
http://www.w3.org/TR/owl2-rdf-based-semantics/#Semantic_Conditions_for_Negative_Property_Assertions
http://www.w3.org/TR/owl2-rdf-based-semantics/#Appendix:_Axiomatic_Triples_.28Informative.29
http://www.w3.org/TR/owl2-rdf-based-semantics/#Axiomatic_Triples_in_RDF
http://www.w3.org/TR/owl2-rdf-based-semantics/#Axiomatic_Triples_for_the_Vocabulary_Classes
http://www.w3.org/TR/owl2-rdf-based-semantics/#Axiomatic_Triples_for_the_Vocabulary_Properties
http://www.w3.org/TR/owl2-rdf-based-semantics/#A_Set_of_Axiomatic_Triples
http://www.w3.org/TR/owl2-rdf-based-semantics/#Appendix:_Relationship_to_the_Direct_Semantics_.28Informative.29
http://www.w3.org/TR/owl2-rdf-based-semantics/#Example_on_Semantic_Differences
http://www.w3.org/TR/owl2-rdf-based-semantics/#Correspondence_Theorem
http://www.w3.org/TR/owl2-rdf-based-semantics/#Proof_for_the_Correspondence_Theorem
http://www.w3.org/TR/owl2-rdf-based-semantics/#Appendix:_Comprehension_Conditions_.28Informative.29
http://www.w3.org/TR/owl2-rdf-based-semantics/#Comprehension_Conditions_for_Sequences
http://www.w3.org/TR/owl2-rdf-based-semantics/#Comprehension_Conditions_for_Boolean_Connectives
http://www.w3.org/TR/owl2-rdf-based-semantics/#Comprehension_Conditions_for_Enumerations
http://www.w3.org/TR/owl2-rdf-based-semantics/#Comprehension_Conditions_for_Property_Restrictions
http://www.w3.org/TR/owl2-rdf-based-semantics/#Comprehension_Conditions_for_Datatype_Restrictions
http://www.w3.org/TR/owl2-rdf-based-semantics/#Comprehension_Conditions_for_Inverse_Properties
http://www.w3.org/TR/owl2-rdf-based-semantics/#Appendix:_Changes_from_OWL_1_.28Informative.29
http://www.w3.org/TR/owl2-rdf-based-semantics/#Appendix:_Change_Log_.28Informative.29
http://www.w3.org/TR/owl2-rdf-based-semantics/#Changes_Since_Recommendation
http://www.w3.org/TR/owl2-rdf-based-semantics/#Changes_Since_Proposed_Recommendation
http://www.w3.org/TR/owl2-rdf-based-semantics/#Changes_Since_Candidate_Recommendation
http://www.w3.org/TR/owl2-rdf-based-semantics/#Changes_Since_Last_Call
http://www.w3.org/TR/owl2-rdf-based-semantics/#Acknowledgments
http://www.w3.org/TR/owl2-rdf-based-semantics/#References
http://www.w3.org/TR/owl2-rdf-based-semantics/#Normative_References
http://www.w3.org/TR/owl2-rdf-based-semantics/#Nonnormative_References
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-rdf-concepts
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-rdf-semantics
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-owl-1-rdf-semantics
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-owl-2-specification
http://www.w3.org/TR/owl2-rdf-based-semantics/#fig-partshierarchy
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-owl-2-direct-semantics
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-rfc-2119
http://www.ietf.org/rfc/rfc3987.txt
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-rfc-3987
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-rfc-2396
http://www.w3.org/TR/owl2-rdf-based-semantics/#ref-owl-2-rdf-mapping
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-vocab-prefixes
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-vocab-owl
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-vocab-datatypes
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-vocab-facets
http://www.w3.org/TR/owl2-rdf-based-semantics/#def-owldatatypemap
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-int-parts
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-semcond-parts
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-semcond-classes
http://www.w3.org/TR/owl2-rdf-based-semantics/#def-owlinterpretation
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-semcond-properties
http://www.w3.org/TR/owl2-rdf-based-semantics/#table-semcond-booleans
http://www.w3.org/TR/owl2-rdf-based-semantics/#topic-semcond-conditionform
◂◂ First
◂ Prev
Next ▸
Last ▸▸
Page 1 of 3
Go
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