Search results for "daml oil"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
135	R. Scott Cost, Timothy W. Finin, Anupam Joshi, Yun Peng, Charles K. Nicholas, Ian Soboroff, Harry Chen 0001, Lalana Kagal, Filip Perich, Youyong Zou, Sovrin Tolia	ITtalks: A Case Study in the Semantic Web and DAML+OIL.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF	Semantic Web, RDF, RDFS, DAML, DAML+OIL
98	Asunción Gómez-Pérez, Mari Carmen Suárez-Figueroa	Evaluation of RDF(S) and DAML+OIL Import/Export Services within Ontology Platforms.	MICAI	2004	DBLP DOI BibTeX RDF
98	Yuanbo Guo, Jeff Heflin, Zhengxiang Pan	Benchmarking DAML+OIL Repositories.	ISWC	2003	DBLP DOI BibTeX RDF
80	Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein	DAML+OIL: An Ontology Language for the Semantic Web.	IEEE Intell. Syst.	2002	DBLP DOI BibTeX RDF	OIL, Semantic Web, markup language, DAML, DARPA, ontology language
79	Dershing Luo, Ching-Cha Hsieh	A Context-Aware Approach Enhancing XML Semantics Integration.	HICSS	2008	DBLP DOI BibTeX RDF	ontology, XML, semantic, context, DAML+OIL
79	Benjamin N. Grosof, Terrence C. Poon	SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions.	WWW	2003	DBLP DOI BibTeX RDF	process descriptions, ontologies, web services, XML, semantic web, knowledge representation, logic programs, electronic commerce, OWL, RDF, semantic web services, description logic, knowledge-based, rules, declarative, intelligent software agents, DAML+OIL, electronic contracts, process knowledge, business process automation
79	Luigi Ceccaroni, Elisa F. Kendall	A graphical environment for ontology development.	AAMAS	2003	DBLP DOI BibTeX RDF	agentcities, ontologies, unified modeling language (UML), web ontology language (OWL), DAML+OIL
77	Ian Horrocks 0001	DAML+OIL: A Reason-Able Web Ontology Language.	WES	2002	DBLP DOI BibTeX RDF
77	Ludwik Kuzniarz, Miroslaw Staron	Extracting Initial UML Domain Models from Daml+OIL Encoded Ontologies.	PROFES	2002	DBLP DOI BibTeX RDF
77	Ian Horrocks 0001	DAML+OIL: A Reason-able Web Ontology Language.	EDBT	2002	DBLP DOI BibTeX RDF
71	Srini Narayanan, Sheila A. McIlraith	Simulation, verification and automated composition of web services.	WWW	2002	DBLP DOI BibTeX RDF	ontologies, web services, distributed systems, semantic web, web service composition, automated reasoning, DAML
69	Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez	Results of Taxonomic Evaluation of RDF(S) and DAML+OIL ontologies using RDF(S) and DAML+OIL Validation Tools and Ontology Platforms import services.	EON	2003	DBLP BibTeX RDF
64	Jin Song Dong, Jing Sun 0002, Hai H. Wang	Checking and Reasoning about Semantic Web through Alloy.	FME	2003	DBLP DOI BibTeX RDF	Semantic Web, Alloy
64	Ian Horrocks 0001, Sergio Tessaris	Querying the Semantic Web: A Formal Approach.	ISWC	2002	DBLP DOI BibTeX RDF
58	Alexander Paar	Semantic software engineering tools.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	automatic service lookup and integration, semantic software engineering, WSDL, C#, DAML+OIL
57	Okkyung Choi, Heejai Choi, Zoonky Lee, Sangyong Han	Semantic Web Services Discovery System with QoS for Enhanced Web Services Quality.	CDVE	2007	DBLP DOI BibTeX RDF	QoS(Quality of Services), DAML-S(DAML+OIL Services), UDDI(Universal Description, Discovery, Integration), Information Retrieval, Semantic Web Services
56	Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang	Verifying DAML+OIL and Beyond in Z/EVES.	ICSE	2004	DBLP DOI BibTeX RDF
56	Bangyong Liang, Jie Tang 0001, Juan-Zi Li, Kehong Wang	Using DAML+OIL to Enhance Search Semantic.	Web Intelligence	2004	DBLP DOI BibTeX RDF
46	Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin 0001, Drew V. McDermott, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci 0001, Terry R. Payne, Katia P. Sycara	DAML-S: Web Service Description for the Semantic Web.	ISWC	2002	DBLP DOI BibTeX RDF
46	Matthew Montebello, C. Abela	DAML Enabled Web Services and Agents in the Semantic Web.	Web, Web-Services, and Database Systems	2002	DBLP DOI BibTeX RDF	Ontologies, Web Services, Semantic Web, Matchmaking
46	Dipanjan Chakraborty 0001, Anupam Joshi, Yelena Yesha, Timothy W. Finin	GSD: a novel group-based service discovery protocol for MANETS.	MWCN	2002	DBLP DOI BibTeX RDF
42	Jeff Z. Pan, Ian Horrocks 0001	RDFS(FA) and RDF MT: Two Semantics for RDFS.	ISWC	2003	DBLP DOI BibTeX RDF
42	Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun	Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine.	ISWC	2003	DBLP DOI BibTeX RDF
42	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	OTM	2003	DBLP DOI BibTeX RDF
42	Paulo Quaresma, Irene Rodrigues 0001	Using Dialogues to Access Semantic Knowledge in a Web IR System.	PROPOR	2003	DBLP DOI BibTeX RDF
42	Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, Jerzy Letkowski, Pat Emery	Extending the Unified Modeling Language for ontology development.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	OO modeling, Ontology, Semantic web, UML, Agents, RDF, DAML
42	Michael Sintek, Stefan Decker	TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web.	ISWC	2002	DBLP DOI BibTeX RDF	F-Logic, Metadata, RDF, Knowledge Representation and Reasoning, DAML
42	Peter F. Patel-Schneider, Jérôme Siméon	Building the Semantic Web on XML.	ISWC	2002	DBLP DOI BibTeX RDF
42	Ian Horrocks 0001	Reasoning with Expressive Description Logics: Theory and Practice.	CADE	2002	DBLP DOI BibTeX RDF
39	Jaap Kamps, Maarten Marx	Notions of Indistinguishability for Semantic Web Languages.	ISWC	2002	DBLP DOI BibTeX RDF
37	Yuanbo Guo, Zhengxiang Pan, Jeff Heflin	Choosing the best knowledge base system for large semantic web applications.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	evaluation, semantic web, benchmark, knowledge base system, DAML+OIL
37	Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang	A combined approach to checking web ontologies.	WWW	2004	DBLP DOI BibTeX RDF	racer, ontologies, semantic web, z, alloy, daml+oil
37	Jin Song Dong, Yuan-Fang Li, Hai H. Wang	TCOZ approach to semantic web services design.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	semantic web, formal methods, DAML+OIL, DAML-S, TCOZ
37	Siegfried Handschuh, Steffen Staab, Alexander Maedche	CREAM: creating relational metadata with a component-based, ontology-driven annotation framework.	K-CAP	2001	DBLP DOI BibTeX RDF	ontology, semantic web, metadata, annotations, RDF, markup, DAML+OIL
34	Wen Bin	The Research on Mapping from DAML+OIL Ontology to Basic-Element and Complex-Element of Extenics.	ICIC (1)	2012	DBLP DOI BibTeX RDF
34	Yingjie Song, Rong Chen 0003	Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies.	AIAI	2010	DBLP DOI BibTeX RDF
34	Óscar Corcho, Asunción Gómez-Pérez, Rafael González-Cabero, Mari Carmen Suárez-Figueroa	ODEVAL: A Tool for Evaluating RDF(S), DAML+OIL and OWL Concept Taxonomies.	AIAI	2004	DBLP DOI BibTeX RDF
34	Asunción Gómez-Pérez, Mari Carmen Suárez-Figueroa	Ontology Evaluation Functionalities of RDF(S), DAML+OIL, and OWL Parsers and Ontology Platforms.	LREC	2004	DBLP BibTeX RDF
34	Chris Wroe, Robert Stevens 0001, Carole A. Goble, Angus Roberts, Robert Mark Greenwood	A Suite of Daml+Oil Ontologies to Describe Bioinformatics Web Services and Data.	Int. J. Cooperative Inf. Syst.	2003	DBLP DOI BibTeX RDF
34	Jeffrey Undercoffer, Anupam Joshi, Tim Finin, John Pinkston	Using DAML+OIL to classify intrusive behaviours.	Knowl. Eng. Rev.	2003	DBLP DOI BibTeX RDF
34	Chris Wroe, Robert Stevens 0001, Carole A. Goble, Michael Ashburner	A Methodology to Migrate the Gene Ontology to a Description Logic Environment Using DAML+OIL.	Pacific Symposium on Biocomputing	2003	DBLP BibTeX RDF
34	Henrik Nottelmann, Norbert Fuhr	Combining DAML+OIL, XSLT, and Probabilistic Logics for Uncertain Schema Mappings in MIND.	ECDL	2003	DBLP DOI BibTeX RDF
34	Patrick Lambrix, Anna Edberg, Carolyn Manis, He Tan	Merging DAML+OIL Bio-ontologies.	Description Logics	2003	DBLP BibTeX RDF
34	Ralf Möller 0001, Ronald Cornet, Volker Haarslev	Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.	Description Logics	2003	DBLP BibTeX RDF
34	Ian Horrocks 0001	DAML+OIL: a Description Logic for the Semantic Web.	IEEE Data Eng. Bull.	2002	DBLP BibTeX RDF
34	Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein	IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web.	IEEE Distributed Syst. Online	2002	DBLP BibTeX RDF
34	Ian Horrocks 0001, Peter F. Patel-Schneider, Frank van Harmelen	Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.	AAAI/IAAI	2002	DBLP BibTeX RDF
34	Yu-Sheng Lai, Ren-Jr Wang, Wei-Tek Hsu	A DAML+OIL-Compliant Chinese Lexical Ontology.	COLING	2002	DBLP BibTeX RDF
34	Maria Taboada, Mercedes Argüello Casteleiro, Diego Martínez Hernández, Julio Des, José Mira	A use case for DAML+OIL: a knowledge base in a clinical domain.	RuleML	2002	DBLP BibTeX RDF
34	Sean Bechhofer, Carole A. Goble, Ian Horrocks 0001	DAML+OIL is not Enough.	SWWS	2001	DBLP BibTeX RDF
34	Sean Bechhofer, Carole A. Goble	Towards Annotation Using DAML+OIL.	Semannot@K-CAP 2001	2001	DBLP BibTeX RDF
34	Ian Horrocks 0001, Peter F. Patel-Schneider	The Generation of DAML+OIL.	Description Logics	2001	DBLP BibTeX RDF
34	Dragan Gasevic, Dragan Djuric, Vladan Devedzic	MDA-based Automatic OWL Ontology Development.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model Driven Architecture, OWL, XSLT, UML Profile, Ontology development
34	Ho-Kyoung Lee, Young-Hoon Yu, Supratip Ghose, GeunSik Jo	Comparison Shopping Systems Based on Semantic Web - A Case Study of Purchasing Cameras.	GCC (1)	2003	DBLP DOI BibTeX RDF
34	Xiaocheng Luan, Yun Peng, Timothy W. Finin	Learning in the Broker Agent.	WRAC	2002	DBLP DOI BibTeX RDF
30	Ian Horrocks 0001	OWL: A Description Logic Based Ontology Language.	CP	2005	DBLP DOI BibTeX RDF
30	Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker	Acquiring Configuration Knowledge Bases in the Semantic Web Using UML.	EKAW	2002	DBLP DOI BibTeX RDF
21	Bo Zhou, Zhijun He 0001, Jing-fan Tang	An adaptive model of virtual enterprise based on dynamic web service composition.	CIT	2005	DBLP DOI BibTeX RDF
21	Naren Kodali, Csilla Farkas, Duminda Wijesekera	An authorization model for multimedia digital libraries.	Int. J. Digit. Libr.	2004	DBLP DOI BibTeX RDF	Access control, Digital library, Semantics, Metadata, Continuous media
21	Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens 0001	Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT.	SIGMOD Rec.	2004	DBLP DOI BibTeX RDF
21	Manuel Alberto Pérez-Coutiño, Thamar Solorio, Manuel Montes-y-Gómez, Aurelio López-López, Luis Villaseñor Pineda	Toward a Document Model for Question Answering Systems.	AWIC	2004	DBLP DOI BibTeX RDF
21	Yue Tang, Jin Song Dong, Jing Sun 0002, Brendan P. Mahony	Reasoning about Semantic Web in Isabelle/HOL.	APSEC	2004	DBLP DOI BibTeX RDF
21	Anuradha Gali, Cindy X. Chen, Kajal T. Claypool, Rosario Uceda-Sosa	From Ontology to Relational Databases.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
21	Chung-Kai Chen, Cheng-Wei Chen, Jenq Kuen Lee	Specification and Architecture Supports for Component Adaptations on Distributed Environments.	IPDPS	2004	DBLP DOI BibTeX RDF
21	Bo Hu 0001, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Nigel Shadbolt	Managing Patient Record Instances Using DL-Enabled Formal Concept Analysis.	EKAW	2004	DBLP DOI BibTeX RDF
21	Songxin Wang, Shuigeng Zhou, Fei Wang, Aoying Zhou	N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D).	APWeb	2004	DBLP DOI BibTeX RDF
21	Dragan Djuric, Dragan Gasevic, Vladan Devedzic, Violeta Damjanovic	A UML Profile for OWL Ontologies.	MDAFA	2004	DBLP DOI BibTeX RDF
21	Susana Montero, Paloma Díaz 0001, Ignacio Aedo	Formalization of Web Design Patterns Using Ontologies.	AWIC	2003	DBLP DOI BibTeX RDF	ontologies, design patterns, web applications, hypermedia
21	Zoltán Miklós 0001, Gustaf Neumann, Uwe Zdun, Michael Sintek	Querying Semantic Web Resources Using TRIPLE Views.	ISWC	2003	DBLP DOI BibTeX RDF
21	Jeff Z. Pan, Ian Horrocks 0001	Web Ontology Reasoning with Datatype Groups.	ISWC	2003	DBLP DOI BibTeX RDF
21	Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks 0001	A Semantic Infosphere.	ISWC	2003	DBLP DOI BibTeX RDF
21	Benjamin N. Grosof, Ian Horrocks 0001, Raphael Volz, Stefan Decker	Description logic programs: combining logic programs with description logic.	WWW	2003	DBLP DOI BibTeX RDF	ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
21	Karin K. Breitman, Julio César Sampaio do Prado Leite	Ontology as a Requirements Engineering Product.	RE	2003	DBLP DOI BibTeX RDF
21	Alexander Paar, Walter F. Tichy	Semantic Software Engineering Approaches for Automatic Service Lookup and Inegration.	Active Middleware Services	2003	DBLP DOI BibTeX RDF
21	Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun	How to Represent Medical Ontologies in View of a Semantic Web?	AIME	2003	DBLP DOI BibTeX RDF
21	Anand Kumar 0005, Barry Smith 0001	Ontology for Task-Based Clinical Guidelines and the Theory of Granular Partitions.	AIME	2003	DBLP DOI BibTeX RDF
21	Karin Koogan Breitman, Julio César Sampaio do Prado Leite	Lexicon Based Ontology Construction.	SELMAS	2003	DBLP DOI BibTeX RDF
21	José Eduardo Córcoles, Pascual González	Querying Spatial Resources. An Approach to the Semantic Geospatial Web.	WES	2003	DBLP DOI BibTeX RDF
21	Jeffrey Undercoffer, Anupam Joshi, John Pinkston	Modeling Computer Attacks: An Ontology for Intrusion Detection.	RAID	2003	DBLP DOI BibTeX RDF
21	Alexander V. Smirnov 0001, Mikhail Pashkin, Nikolai Chilov 0001, Tatiana Levashova, Andrew Krizhanovsky	Ontology-Driven Knowledge Logistics Approach as Constraint Satisfaction Problem.	OTM	2003	DBLP DOI BibTeX RDF
21	Fernanda Lima, Daniel Schwabe	Modeling Applications for the Semantic Web.	ICWE	2003	DBLP DOI BibTeX RDF
21	Ming Guo, Shanping Li, Jinxiang Dong, Xiangjun Fu, Yujie Hu, Qiwei Yin	Ontology-Based Product Data Integration.	AINA	2003	DBLP DOI BibTeX RDF
21	David Trastour, Chris Preist, Derek Coleman	Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches.	EDOC	2003	DBLP DOI BibTeX RDF
21	Claus Pahl	An Ontology for Software Component Matching.	FASE	2003	DBLP DOI BibTeX RDF
21	Urvi Shah, Timothy W. Finin, Anupam Joshi	Information retrieval on the semantic web.	CIKM	2002	DBLP DOI BibTeX RDF	hybrid information retrieval, semantic web, text extraction, query-answering systems
21	Drew V. McDermott, Dejing Dou	Representing Disjunction and Quantifiers in RDF.	ISWC	2002	DBLP DOI BibTeX RDF
21	Grigoris Antoniou	Nonmonotonic Rule Systems on Top of Ontology Layers.	ISWC	2002	DBLP DOI BibTeX RDF
21	Mounira Harzallah, Michel Leclère, Francky Trichet	CommOnCV: modelling the competencies underlying a curriculum vitae.	SEKE	2002	DBLP DOI BibTeX RDF	web-based knowledge management, ontology, semantic web, competency model, e-recruitment
21	Ano Chotmanee, Vilas Wuwongse, Chutiporn Anutariya	A Schema Language for MPEG-7.	ICADL	2002	DBLP DOI BibTeX RDF
21	Heiner Stuckenschmidt	Approximate Information Filtering on the Semantic Web.	KI	2002	DBLP DOI BibTeX RDF
21	Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones	Semantic Resolution for E-commerce.	WRAC	2002	DBLP DOI BibTeX RDF
21	Guizhen Yang, Michael Kifer	Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases.	OTM	2002	DBLP DOI BibTeX RDF
21	Jeff Z. Pan, Ian Horrocks 0001	Extending Datatype Support in Web Ontology Reasoning.	OTM	2002	DBLP DOI BibTeX RDF
21	Jeff Z. Pan, Ian Horrocks 0001	Extending Datatype Support in Web Ontology Reasoning.	OTM	2002	DBLP DOI BibTeX RDF
21	Rosalba Giugno, Thomas Lukasiewicz	P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web.	JELIA	2002	DBLP DOI BibTeX RDF
21	Heiner Stuckenschmidt	Exploiting Partially Shared Ontologies for Multi-agent Communication.	CIA	2002	DBLP DOI BibTeX RDF
21	Cheng-Wei Chen, Chung-Kai Chen, Jenq Kuen Lee	Building Ontology for Optimization and Composition of Parallel JavaBean Programs.	ISPAN	2002	DBLP DOI BibTeX RDF	Ontology Specifications, Javabean Components, Runtime Component Compositions, Code Specializations, Runtime Optimizations
21	Yun Peng, Youyong Zou, Xiaocheng Luan, Nenad Ivezic, Michael Grüninger, Albert T. Jones	Semantic resolution for e-commerce.	AAMAS	2002	DBLP DOI BibTeX RDF	semantic resolution, multi-agent system, e-Commerce