The complexity of concept languages
Information and Computation
The Semantic Web: The Roles of XML and RDF
IEEE Internet Computing
OIL: An Ontology Infrastructure for the Semantic Web
IEEE Intelligent Systems
IEEE Intelligent Systems
Information Integration: Conceptual Modeling and Reasoning Support
COOPIS '98 Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Conjunctive Query Language for Description Logic Aboxes
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
OilEd: A Reason-able Ontology Editor for the Semantic Web
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
DAML+OIL: A Reason-Able Web Ontology Language
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
An Ontology Based Approach to Automated Negotiation
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
A location representation for generating descriptive walking directions
Proceedings of the 10th international conference on Intelligent user interfaces
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
An OWL-based extensible transcoding system for mobile multi-devices
Journal of Information Science
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
web services customization: a composition-based approach
ICWE '06 Proceedings of the 6th international conference on Web engineering
Dynamic evolutions based on ontologies
Knowledge-Based Systems
Semantic web: the story so far
W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Semantic Web approach to smart link generation for Web navigations
Software—Practice & Experience
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
LAIR: location awareness information representation
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
International Journal of Metadata, Semantics and Ontologies
SXRS: An XLink-based Recommender System using Semantic Web technologies
Expert Systems with Applications: An International Journal
OWL-L: An OWL-based language for Web resources links
Computer Standards & Interfaces
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
A Semantic-Based Navigation Approach for Information Retrieval in the Semantic Web
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Natural Language Processing as a Foundation of the Semantic Web
Foundations and Trends in Web Science
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Keys, nominate, and concrete domains
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Ontologies for supporting negotiation in e-commerce
Engineering Applications of Artificial Intelligence
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A formal framework for ontology integration based on a default extension to DDL
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Users and services in intelligent networks
AINTEC'05 Proceedings of the First Asian Internet Engineering conference on Technologies for Advanced Heterogeneous Networks
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
Introduction to semantic web ontology languages
Proceedings of the First international conference on Reasoning Web
Extensible access control markup language integrated with Semantic Web technologies
Information Sciences: an International Journal
Hi-index | 0.00 |
In the current "Syntactic Web", uninterpreted syntactic constructs are given meaning only by private off-line agreements that are inaccessible to computers. In the Semantic Web vision, this is replaced by a web where both data and its semantic definition are accessible and manipulable by computer software. DAML+OIL is an ontology language specifically designed for this use in the Web; it exploits existing Web standards (XML and RDF), adding the familiar ontological primitives of object oriented and frame based systems, and the formal rigor of a very expressive description logic. The definition of DAML+OIL is now over a year old, and the language has been in fairly widespread use. In this paper, we review DAML+OIL's relation with its key ingredients (XML, RDF, OIL, DAML-ONT, Description Logics), we discuss the design decisions and trade-offs that were the basis for the language definition, and identify a number of implementation challenges posed by the current language. These issues are important for designers of other representation languages for the Semantic Web, be they competitors or successors of DAML+OIL, such as the language currently under definition by W3C.