Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
The complexity of concept languages
Information and Computation
Complexity Results for First-Order Two-Variable Logic with Counting
SIAM Journal on Computing
Logic for Computer Scientists
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
Representing Disjunction and Quantifiers in RDF
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A possible simplification of the semantic web architecture
Proceedings of the 13th international conference on World Wide Web
IEEE Intelligent Systems
Semantic triage for increased web accessibility
IBM Systems Journal
RDFS(FA): Connecting RDF(S) and OWL DL
IEEE Transactions on Knowledge and Data Engineering
Annotating websites with machine-processable information in controlled natural language
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
On Capturing Semantics in Ontology Mapping
World Wide Web
Web-Annotations for Humans and Machines
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Intensional semantics for RDF data structures
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Review of Knowledge Engineering Requirements for Semantic Reasoning in Autonomic Networks
APNOMS '08 Proceedings of the 11th Asia-Pacific Symposium on Network Operations and Management: Challenges for Next Generation Network Operations and Service Management
OWL-L: An OWL-based language for Web resources links
Computer Standards & Interfaces
Natural Language Processing as a Foundation of the Semantic Web
Foundations and Trends in Web Science
Building the semantic web tower from RDF straw
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Design and implementation of a secure social network system
ISI'09 Proceedings of the 2009 IEEE international conference on Intelligence and security informatics
A functional semantic web architecture
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Ontology as a Logic of Intensions
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
On the properties of metamodeling in OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A controlled natural language layer for the semantic web
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Virtual space ontologies for scripting agents
MMAS'04 Proceedings of the First international conference on Massively Multi-Agent Systems
Reasoning support for expressive ontology languages using a theorem prover
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Enhanced semantic web layered architecture model
AIC'10/BEBI'10 Proceedings of the 10th WSEAS international conference on applied informatics and communications, and 3rd WSEAS international conference on Biomedical electronics and biomedical informatics
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Flexible intensional query-answering for RDF peer-to-peer systems
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
| Hi-index | 0.00 |
The Semantic Web is vitally dependent on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a common view (or thesis) of representation, otherwise it will not be possible to reconcile documents written in different languages. The thesis of representation underlying RDF and RDFS is particularly troublesome in this regard, as it has several unusual aspects, both semantic and syntactic. A more-standard thesis of representation would result in the ability to reuse existing results and tools in the Semantic Web.