Filters








2,516 Hits in 3.0 sec

ITtalks: a case study in the Semantic Web and DAML+OIL

R.S. Cost, T. Finin, A. Joshi, Yun Peng, C. Nicholas, I. Soboroff, H. Chen, L. Kagal, F. Perich, Youyong Zou, S. Tolia
2002 IEEE Intelligent Systems  
, see the "DAML+OIL" sidebar.)  ...  As part of the University of Maryland, Baltimore County's role in the DAML Program, we constructed a fielded application, ITtalks, which facilitates user and agent interaction for locating talks on information  ...  Acknowledgments The Defense Advanced Research Projects Agency under contract F30602-00-2-0 591 AO K528 as part of the DAML program (www. daml.org) partly supported this research.  ... 
doi:10.1109/5254.988447 fatcat:gy7uimzwxnh2xptgz3n7u4c6j4

Extending the Unified Modeling Language for ontology development

Kenneth Baclawski, Mieczyslaw K. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey Smith, Jerzy Letkowski, Pat Emery
2002 Journal of Software and Systems Modeling  
While we have focused on RDF and DAML+OIL in our research and development activities, the same issues apply to many of the knowledge representation languages.  ...  3 Mercury Computer 4 Western New England College 5 GRC InternationalTS a Published online: 2002 - Springer-Verlag 2002 UML concepts of association and attribute.  ...  Any opinions, findings and conclusions or recommenda-tions expressed in this material are those of the author(s) and do not necessarily reflect the views of the Unites States Air Force.  ... 
doi:10.1007/s10270-002-0008-4 fatcat:qxgk7roeufgylhuduycrrfahbq

DAML+OIL: A Reason-able Web Ontology Language [chapter]

Ian Horrocks
2002 Lecture Notes in Computer Science  
DAML+OIL is an ontology language specifically designed for use on the Web; it exploits existing Web standards (XML and RDF), adding the familiar ontological primitives of object oriented and frame based  ...  The logical basis of the language means that reasoning services can be provided, both to support ontology design and to make DAML+OIL described Web resources more accessible to automated processes.  ...  DAML and OIL In 1999 the DARPA Agent Markup Language (DAML) program 3 was initiated with the aim of providing the foundations of a next generation "semantic" Web [17] .  ... 
doi:10.1007/3-540-45876-x_2 fatcat:unl6ais5y5aq3d6o54vqkevhk4

DAML+OIL: A Reason-Able Web Ontology Language [chapter]

Ian Horrocks
2002 Lecture Notes in Computer Science  
DAML+OIL is an ontology language specifically designed for use on the Web; it exploits existing Web standards (XML and RDF), adding the familiar ontological primitives of object oriented and frame based  ...  The logical basis of the language means that reasoning services can be provided, both to support ontology design and to make DAML+OIL described Web resources more accessible to automated processes.  ...  DAML and OIL In 1999 the DARPA Agent Markup Language (DAML) program 3 was initiated with the aim of providing the foundations of a next generation "semantic" Web [17] .  ... 
doi:10.1007/3-540-36189-8_13 fatcat:sobzyliot5fn3nlhz5m5nvuz7i

Checking and Reasoning about Semantic Web through Alloy [chapter]

Jin Song Dong, Jing Sun, Hai Wang
2003 Lecture Notes in Computer Science  
In this paper, we firstly construct semantic models for the SW language (DAML+OIL) in Alloy, and these models form the semantic domain for interpreting DAML+OIL in Alloy.  ...  Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities.  ...  This work is supported by the Defence Innovative Research grant Formal Design Methods and DAML from Defence Science & Technology Agency (DSTA) Singapore.  ... 
doi:10.1007/978-3-540-45236-2_43 fatcat:kxhasefa2naxrd7qtqm5q4zqku

Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies [chapter]

Yingjie Song, Rong Chen
2010 IFIP Advances in Information and Communication Technology  
of DAML+OIL ontologies.  ...  Dong's work, we propose a new approach to interpreting DAML+OIL in a lightweight modeling language for software design, Alloy, which is used to provide a nonstandard reasoning service for the verification  ...  Conclusion We propose an approach to convert the DAML+OIL ontology to Alloy model, and then using the Alloy Analyzer to automatically check and reason the generated model.  ... 
doi:10.1007/978-3-642-16239-8_28 fatcat:f5ucqixjq5ddzmm64ku3wp6zmq

Combining DAML+OIL, XSLT and Probabilistic Logics for Uncertain Schema Mappings in MIND [chapter]

Henrik Nottelmann, Norbert Fuhr
2003 Lecture Notes in Computer Science  
However, as DAML+OIL lacks some important features, the proposed approach is only a stepping stone for an integrated solution.  ...  We combine different technologies like DAML+OIL, probabilistic Datalog (since DAML+OIL-as similar ontology languages-lacks rules) and XSLT for actually transforming queries and documents.  ...  Acknowledgements This work is supported by the EU commission under grant IST-2000-26061 (project MIND).  ... 
doi:10.1007/978-3-540-45175-4_19 fatcat:vb2af23hszacfikmpxgax4aeqa

A methodology to migrate the gene ontology to a description logic environment using DAML+OIL

C J Wroe, R Stevens, C A Goble, M Ashburner
2003 Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing  
The Gene Ontology Next Generation Project (GONG) is developing a staged methodology to evolve the current representation of the Gene Ontology into DAML+OIL in order to take advantage of the richer formal  ...  The paper introduces DAML+OIL and demonstrates the activity within each stage of the methodology and the functionality gained.  ...  for chemical information • Sean Bechhofer for development on OilEd • Project funded as a subcontract of the DARPA DAML programme GO RDF DAML+OIL <go:term> <daml:Class> <go:isa> <daml:subClassOf  ... 
pmid:12603063 fatcat:o4bfewu4kvcs3p4sa7e3kgsmcq

Improving the Functionality of UDDI Registries through Web Service Semantics [article]

Asuman Dogac, Ibrahim Cingil, Gokce Laleci, Yildiray Kabak
2002 arXiv   pre-print
As a part of this framework, we extend the DAML-S upper ontology to describe the functionality we find essential for e-businesses.  ...  The ontology model developed is general enough to be used with any service registry.  ...  It should be noted that DAML+OIL documents can be queried through DAML APIs or through any XML query language since the serialization syntax of DAML+OIL documents are XML.  ... 
arXiv:cs/0212052v1 fatcat:bakl6rl7djbstaqeycjdeoshie

A METHODOLOGY TO MIGRATE THE GENE ONTOLOGY TO A DESCRIPTION LOGIC ENVIRONMENT USING DAML+OIL

C. J. WROE, R. STEVENS, C. A. GOBLE, M. ASHBURNER
2002 Biocomputing 2003  
The Gene Ontology Next Generation Project (GONG) is developing a staged methodology to evolve the current representation of the Gene Ontology into DAML+OIL in order to take advantage of the richer formal  ...  The paper introduces DAML+OIL and demonstrates the activity within each stage of the methodology and the functionality gained.  ...  We would like to thank Midori Harris and Jane Lomax of the GO Consortium Editorial Team for their advice and guidance.  ... 
doi:10.1142/9789812776303_0058 fatcat:gjsw2sveebaebbt3fabwy7kz44

Ontology languages for the Semantic Web [chapter]

2005 Information Sharing on the Semantic Web  
Recently, the University of Maryland has adapted the SHOE syntax to XML.  ...  T h e S e m a n t i c W e b Simple HTML Ontology Extension SHOE, developed at the University of Maryland and used to develop OML, was created as an extension of HTML, incorporating machine-readable semantic  ...  Acknowledgments This work is supported by the CICYT project "Metodología para la Gestión de Conocimiento," ref-  ... 
doi:10.1007/3-540-26907-x_3 fatcat:kp5xsagv25ckfhkuv4ycevekzm

Building Ontologies in DAML + OIL

Robert Stevens, Chris Wroe, Sean Bechhofer, Phillip Lord, Alan Rector, Carole Goble
2003 Comparative and Functional Genomics  
We finish with a current example, in the Gene Ontology Next Generation (GONG) project, that uses DAML + OIL as the basis for moving the Gene Ontology from its current hand-crafted, form to one that uses  ...  A new knowledge representation language, DAML + OIL, offers a new standard that is able to support many styles of ontology, from hand-crafted to full logic-based descriptions with reasoning support.  ...  We would like to thank Midori Harris and Jane Lomax of the GO editorial team for their advice and for responding to the reports.  ... 
doi:10.1002/cfg.233 pmid:18629114 pmcid:PMC2447401 fatcat:nckcq3frlzaqnjfkd3m3pfcqzm

QoS measurement issues with DAML-QoS ontology

C. Zhou, L.-T. Chia, B.-S. Lee
2005 IEEE International Conference on e-Business Engineering (ICEBE'05)  
In this paper we describe a framework for providing QoS measurement for Web services through the use of DAML-QoS Ontology and measurement code generator.  ...  service level agreement; code generator that helps to generate the measurement code according to the DAML-QoS specification.  ...  As a DAML+OIL Ontology, DAML-S retains all the benefits of Web content described in DAML+OIL.  ... 
doi:10.1109/icebe.2005.100 dblp:conf/icebe/ZhouCL05 fatcat:kk6fg7ti2rfejpeamzezfe7i7i

Benchmarking DAML+OIL Repositories [chapter]

Yuanbo Guo, Jeff Heflin, Zhengxiang Pan
2003 Lecture Notes in Computer Science  
We present a benchmark that facilitates the evaluation of DAML+OIL repositories in a standard and systematic way.  ...  This benchmark is intended to evaluate the performance of DAML+OIL repositories with respect to extensional queries over a large data set that commits to a single realistic ontology.  ...  Data generation is carried out by UBA (Univ-Bench Artificial data generator), a tool we have developed for the benchmark. UBA features random and repeatable generation of DAML+OIL instances.  ... 
doi:10.1007/978-3-540-39718-2_39 fatcat:5tcqgpk7efhdjfxzigadmny6ae

SweetDeal

Benjamin N. Grosof, Terrence C. Poon
2003 Proceedings of the twelfth international conference on World Wide Web - WWW '03  
Our system is also the first to combine emerging Semantic Web standards for knowledge representation of rules (RuleML) with ontologies (DAML+OIL) for a practical ebusiness application domain, and further  ...  Here, we newly extend the SweetDeal approach by also incorporating process knowledge descriptions whose ontologies are represented in DAML+OIL (emerging standard for Semantic Web ontologies) thereby enabling  ...  Partial funding support was provided by the Center for eBusiness @ MIT, and the DARPA Agent Markup Language program.  ... 
doi:10.1145/775197.775200 fatcat:llcmhf35sjgp7e3kk6b4v6i3nm
« Previous Showing results 1 — 15 out of 2,516 results