Search results for "OWL-DL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Jos de Bruijn, Rubén Lara, Axel Polleres, Dieter Fensel	OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web.	WWW	2005	DBLP DOI BibTeX RDF	ontologies, semantic Web, logic programming, description logics
61	Fu Zhang 0001, Zong Min Ma 0001, Yanhui Lv, Xing Wang 0002	Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL Ontology.	Web Intelligence	2008	DBLP DOI BibTeX RDF
61	Sean Bechhofer, Jeremy J. Carroll	Parsing owl dl: trees or triples?	WWW	2004	DBLP DOI BibTeX RDF	semantic web, parsing, rdf, owl
54	Chrisa Tsinaraki, Stavros Christodoulakis	XS2OWL: A Formal Model and a System for Enabling XML Schema Applications to Interoperate with OWL-DL Domain Knowledge and Semantic Web Tools.	DELOS	2007	DBLP DOI BibTeX RDF	Ontologies, Interoperability, Standards, OWL, XML Schema
53	Fu Zhang 0001, Zong Min Ma 0001, Hailong Wang, Xiangfu Meng	A Formal Semantics-Preserving Translation from Fuzzy Relational Database Schema to Fuzzy OWL DL Ontology.	ASWC	2008	DBLP DOI BibTeX RDF	Fuzzy Relational Database Schema (FRDBS), fuzzy OWL DL ontology, semantics-preserving translation, fuzzy database, fuzzy ontology
52	Saartje Brockmans, Robert M. Colomb, Peter Haase 0001, Elisa F. Kendall, Evan K. Wallace, Christopher A. Welty, Guo Tong Xie	A Model Driven Approach for Building OWL DL and OWL Full Ontologies.	ISWC	2006	DBLP DOI BibTeX RDF
52	Alan L. Rector, Nick Drummond, Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens 0001, Hai Wang 0014, Chris Wroe	OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns.	EKAW	2004	DBLP DOI BibTeX RDF
49	Chrisa Tsinaraki, Stavros Christodoulakis	Interoperability of XML Schema Applications with OWL Domain Knowledge and Semantic Web Tools.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF	Ontologies, Interoperability, Standards, OWL, XML Schema
47	Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen	A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL.	ISWC	2009	DBLP DOI BibTeX RDF
42	Ian Horrocks 0001, Peter F. Patel-Schneider	A proposal for an owl rules language.	WWW	2004	DBLP DOI BibTeX RDF	semantic web, representation, model-theoretic semantics
40	Yixin Jing, Dongwon Jeong, Doo-Kwon Baik	SPARQL graph pattern rewriting for OWL-DL inference queries.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Graph pattern, Ontology inference, Semantic web, SPARQL, Query rewriting, OWL-DL
40	Jeff Z. Pan, Ian Horrocks 0001	RDFS(FA): Connecting RDF(S) and OWL DL.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	metamodeling architecture, ontology, knowledge representation, reuse, Semantic interoperability
40	Kaarel Kaljurand, Norbert E. Fuchs	Bidirectional Mapping Between OWL DL and Attempto Controlled English.	PPSWR	2006	DBLP DOI BibTeX RDF
40	Anni-Yasmin Turhan, Thomas Springer 0001, Michael Berger 0001	Pushing Doors for Modeling Contexts with OWL DL a Case Study.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
35	Livia Predoiu	Probabilistic Information Integration and Retrieval in the Semantic Web.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
35	Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang	Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.	ICECCS	2007	DBLP DOI BibTeX RDF	BAF, BOWL, Semantic Web, OWL, confidence, ignorance
35	Jeff Z. Pan, Ian Horrocks 0001	OWL FA: a metamodeling extension of OWL D.	WWW	2006	DBLP DOI BibTeX RDF	ontology, metamodeling, reasoning
35	Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau	Integrating Datalog with OWL: Exploring the AL-log Approach.	ICLP	2006	DBLP DOI BibTeX RDF
35	Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek	How to reason with OWL in a logic programming system.	RuleML	2006	DBLP DOI BibTeX RDF
35	Jeff Z. Pan, Ian Horrocks 0001	OWL-Eu: Adding Customised Datatypes into OWL.	ESWC	2005	DBLP DOI BibTeX RDF
33	Ohbyung Kwon, Jaemoon Sim, Myungchul Lee	OWL-DL Based Ontology Inference Engine Assessment for Context-Aware Services.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	MINERVA, DLDB-OWL, HAWK, Ontology, Semantic Web, scalability, Inference Engine, Context-Aware Services, OWL-DL
33	Alina Dia Miron, Jérôme Gensel, Marlène Villanova-Oliver	Semantic Analysis for the Geospatial Web - Application to OWL-DL Ontologies.	W2GIS	2008	DBLP DOI BibTeX RDF	Geospatial Semantic Web, context definition, ontology, semantic analysis, spatio-temporal reasoning
33	Azzurra Ragone	OWL-DL as a Power Tool to Model Negotiation Mechanisms with Incomplete Information.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
33	Vladimir Kolovski, Bijan Parsia, Yarden Katz, James A. Hendler	Representing Web Service Policies in OWL-DL.	ISWC	2005	DBLP DOI BibTeX RDF
33	Pascal Hitzler, Denny Vrandecic	Resolution-Based Approximate Reasoning for OWL DL.	ISWC	2005	DBLP DOI BibTeX RDF
33	Saartje Brockmans, Raphael Volz, Andreas Eberhart, Peter Löffler	Visual Modeling of OWL DL Ontologies Using UML.	ISWC	2004	DBLP DOI BibTeX RDF
33	Boris Motik, Ulrike Sattler, Rudi Studer	Query Answering for OWL-DL with Rules.	ISWC	2004	DBLP DOI BibTeX RDF
33	Jeremy J. Carroll	Streaming OWL DL.	ESWS	2004	DBLP DOI BibTeX RDF
28	Franz Baader	Description Logics.	Reasoning Web	2009	DBLP DOI BibTeX RDF
28	Muhammad Fahad 0011	ER2OWL: Generating OWL Ontology from ER Diagram.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF
28	Guangsheng Zhang, Fuqiang Meng, Changjun Jiang, Jian Pang	Using Petri Net to Reason with Rule and OWL.	CIT	2006	DBLP DOI BibTeX RDF	SWRL rule, Ontology, Semantic Web, OWL, Reasoning, Predicate/Transition nets
28	Joanna Józefowska, Agnieszka Lawrynowicz, Tomasz Lukaszewski	Frequent Pattern Discovery from OWL DLP Knowledge Bases.	EKAW	2006	DBLP DOI BibTeX RDF
28	Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks 0001	Using Vampire to Reason with OWL.	ISWC	2004	DBLP DOI BibTeX RDF
28	Zhuoming Xu, Xiao Cao, Yisheng Dong, Wenping Su	Formal Approach and Automated Tool for Translating ER Schemata into OWL Ontologies.	PAKDD	2004	DBLP DOI BibTeX RDF
27	Stijn Heymans, Li Ma 0002, Darko Anicic, Zhilei Ma, Nathalie Steinmetz, Yue Pan, Jing Mei, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Cristina Feier, Graham Hench, Branimir Wetzstein, Uwe Keller	Ontology Reasoning with Large Data Repositories.	Ontology Management	2008	DBLP DOI BibTeX RDF	business repository, reasoning with large datasets, WSML DL, IRIS, Semantic Business Process Management, OWL DL
27	Christopher A. Welty, J. William Murdock	Towards Knowledge Acquisition from Information Extraction.	ISWC	2006	DBLP DOI BibTeX RDF	Applications of OWL DL Reasoning, Information Extraction
26	Jianfeng Du, Guilin Qi, Qiu Ji	Goal-Directed Module Extraction for Explaining OWL DL Entailments.	ISWC	2009	DBLP DOI BibTeX RDF
26	María del Mar Roldán García, José Francisco Aldana Montes	Complete OWL-DL Reasoning Using Relational Databases.	DEXA	2009	DBLP DOI BibTeX RDF
26	Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase 0001	A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.	ASWC	2008	DBLP DOI BibTeX RDF
26	Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin	Finding All Justifications of OWL DL Entailments.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF	OWL Ontology Explanation, Debugging, Justifications
26	Dang Bui Bach, Robert Meersman, Peter Spyns, Damien Trog	Mapping OWL-DL into ORM/RIDL.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
26	Ming Qiu, Gang Chen 0001, Jinxiang Dong	A Fuzzy Contrast Model to Measure Semantic Similarity Between OWL DL Concepts.	FSKD	2006	DBLP DOI BibTeX RDF
26	Peter Haase 0001, Boris Motik	A mapping system for the integration of OWL-DL ontologies.	IHIS	2005	DBLP DOI BibTeX RDF	description logics, ontology mapping, ontology integration
25	Alexander Kubias, Simon Schenk, Steffen Staab, Jeff Z. Pan	OWL SAIQL - An OWL DL Query Language for Ontology Extraction.	OWLED	2007	DBLP BibTeX RDF
25	Jeff Z. Pan, Ian Horrocks 0001, Guus Schreiber	OWL FA: A Metamodeling Extension of OWL DL.	OWLED	2005	DBLP BibTeX RDF
21	David A. Ostrowski	Rule Definition for Managing Ontology Development.	RuleML	2007	DBLP DOI BibTeX RDF	Declarative Logic Programming, Description Logics, Rules, Ontology development, OWL-DL
21	Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak	A review of approaches for representing RCC8 in OWL.	SAC	2010	DBLP DOI BibTeX RDF	RCC8, spatial knowledge representation, OWL
21	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Rule-Based Approaches for Representing Probabilistic Ontology Mappings.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
21	Riccardo Rosati 0001	Finite Model Reasoning in DL-Lite.	ESWC	2008	DBLP DOI BibTeX RDF
21	Pierre Allard, Sébastien Ferré	Dynamic Taxonomies for the Semantic Web.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	information retrieval, semantic web, description logics, dynamic taxonomies
21	Jeff Z. Pan	A Flexible Ontology Reasoning Architecture for the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	user-defined data types and data type predicates, reasoning architecture, ontology, Knowledge representation
21	Byoungchol Chang, Dall-ho Ham, Daesung Moon, Yong Suk Choi, Jaehyuk Cha	Educational Information Search Service Using Ontology.	ICALT	2007	DBLP DOI BibTeX RDF
21	Dexin Zhao, Zhiyong Feng 0002, Qing Yu, Guangquan Xu	A Fuzzy Extension of OWL for Vague Knowledge.	FSKD (4)	2007	DBLP DOI BibTeX RDF
21	NuerMaimaiti Heilili, Yang Chen, Chen Zhao 0001, Zhenxing Luo, Zuoquan Lin	An OWL-Based Approach for RBAC with Negative Authorization.	KSEM	2006	DBLP DOI BibTeX RDF
21	Li Ma 0002, Yang Yang 0041, Zhaoming Qiu, Guo Tong Xie, Yue Pan, Shengping Liu	Towards a Complete OWL Ontology Benchmark.	ESWC	2006	DBLP DOI BibTeX RDF
21	Boris Motik	On the Properties of Metamodeling in OWL.	ISWC	2005	DBLP DOI BibTeX RDF
21	Dorel Lucanu, Yuan-Fang Li, Jin Song Dong	Soundness proof of Z semantics of OWL using institutions.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	comorphism of institutions, OWL, Z, institution
21	Riccardo Rosati 0001	Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules.	PPSWR	2005	DBLP DOI BibTeX RDF
21	Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner	Ontologies for the Semantic Web in Casl.	WADT	2004	DBLP DOI BibTeX RDF
21	Volker Haarslev, Ying Lu 0003, Nematollaah Shiri	ONTOXPL - Intelligent Exploration of OWL Ontologies.	Web Intelligence	2004	DBLP DOI BibTeX RDF
21	Ian Horrocks 0001, Peter F. Patel-Schneider	Reducing OWL Entailment to Description Logic Satisfiability.	ISWC	2003	DBLP DOI BibTeX RDF
19	Viktoria Pammer, Stefanie N. Lindstaedt	Ontology Evaluation through Assessment of Inferred Statements: Study of a Prototypical Implementation of an Ontology Questionnaire for OWL DL Ontologies.	KSEM	2009	DBLP DOI BibTeX RDF
19	Kamran Munir, Mohammed Odeh, Richard McClatchey	Ontology assisted query reformulation using the semantic and assertion capabilities of OWL-DL ontologies.	IDEAS	2008	DBLP DOI BibTeX RDF
19	Dimitrios Kourtesis, Iraklis Paraskakis	Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery.	ESWC	2008	DBLP DOI BibTeX RDF	Universal Description Discovery and Integration (UDDI), Semantic Annotations for WSDL (SAWSDL), Web Ontology Language (OWL), Semantic Web Services, Web Service Discovery
19	Will Mepham, S. Gardner	A Software Framework for Translating ECA Sequences from OWL-DL into Java.	Web Intelligence	2008	DBLP DOI BibTeX RDF
19	Saartje Brockmans, Peter Haase 0001, Pascal Hitzler, Rudi Studer	A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies.	ESWC	2006	DBLP DOI BibTeX RDF
19	Yue Ma 0009, Zuoquan Lin, Zhangang Lin	Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
14	Jinsoo Park, Kimoon Sung, Sewon Moon	Developing Graduation Screen Ontology Based on the METHONTOLOGY Approach.	NCM (2)	2008	DBLP DOI BibTeX RDF	METONTOLOGY, Prot?g?-OWL, Ontology Development Methodology, Ontology, OWL-DL
14	Fu Zhang 0001, Zong Min Ma 0001, Jingwei Cheng, Xiangfu Meng	Fuzzy semantic web ontology learning from fuzzy UML model.	CIKM	2009	DBLP DOI BibTeX RDF	fuzzy UML model, ontology learning, fuzzy ontology
14	Simon Jupp, Sean Bechhofer, Robert Stevens 0001	A Flexible API and Editor for SKOS.	ESWC	2009	DBLP DOI BibTeX RDF
14	Volker Haarslev, Ralf Möller 0001	On the Scalability of Description Logic Instance Retrieval.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Instance retrieval, Description logics
14	Viorel Milea, Michael Mrissa, Kees van der Sluijs, Uzay Kaymak	On Temporal Cardinality in the Context of the TOWL Language.	ER Workshops	2008	DBLP DOI BibTeX RDF
14	Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke	An Ontology of Environments, Events, and Happenings.	COMPSAC	2008	DBLP DOI BibTeX RDF	happening, engineering design process, ontology, event, environment, design system
14	Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Approximate OWL-Reasoning with Screech.	RR	2008	DBLP DOI BibTeX RDF
14	Yue Ma 0009, Pascal Hitzler, Zuoquan Lin	Algorithms for Paraconsistent Reasoning with OWL.	ESWC	2007	DBLP DOI BibTeX RDF
14	Sari Hakkarainen, Lillian Hella, Darijus Strasunskas, Stine Tuxen	A Semantic Transformation Approach for ISO 15926.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
14	Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin	Description Logic Reasoning with Syntactic Updates.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
14	Jos de Bruijn, Stijn Heymans	Translating Ontologies from Predicate-based to Frame-based Languages.	RuleML	2006	DBLP DOI BibTeX RDF
14	Jos de Bruijn, Enrico Franconi, Sergio Tessaris	Logical Reconstruction of RDF and Ontology Languages.	PPSWR	2005	DBLP DOI BibTeX RDF
14	Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits	Well-Founded Semantics for Description Logic Programs in the Semantic Web.	RuleML	2004	DBLP DOI BibTeX RDF
14	Craig McKenzie, Peter M. D. Gray, Alun D. Preece	Extending SWRL to Express Fully-Quantified Constraints.	RuleML	2004	DBLP DOI BibTeX RDF
14	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
13	Alexander Paar, Jürgen Reuter, John Soldatos 0001, Kostas Stamatis, Lazaros Polymenakos	A formally specified ontology management API as a registry for ubiquitous computing systems.	Appl. Intell.	2009	DBLP DOI BibTeX RDF	Web ontology language OWL DL, Ontology management API, Ubiquitous computing
13	Sara García-Ramos, Abraham Otero, Mariano Fernández-López	OntologyTest: A Tool to Evaluate Ontologies through Tests Defined by the User.	IWANN (2)	2009	DBLP DOI BibTeX RDF	ontology, test, SPARQL, ontology evaluation, OWL DL
13	Bernardo Gonçalves, Veruska Zamborlini, Giancarlo Guizzardi, José Gonçalves Pereira Filho	An ontology-based application in heart electrophysiology: representation, reasoning and visualization on the web.	SAC	2009	DBLP DOI BibTeX RDF	OWL DL + SWRL, heart electrophysiology and ECG, web animations, biomedical ontology, medical education
12	Tobias John, Patrick Koopmann	Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version).	CoRR	2023	DBLP DOI BibTeX RDF
12	Ildar Baimuratov, Elena Lisanyuk, Dmitry Prokudin	Dispute Resolution with OWL DL and Reasoning.	Description Logics	2023	DBLP BibTeX RDF
12	Tobias John, Patrick Koopmann	Towards Ontology-Mediated Planning with OWL DL Ontologies.	Description Logics	2023	DBLP BibTeX RDF
12	Ngoc Than Nguyen, Ildar Baimuratov	Logic Graphs: Complete, Semantic-Oriented and Easy to Learn Visualization Method for OWL DL Language.	MICSECS	2020	DBLP BibTeX RDF
12	Claudia Schon, Steffen Staab	Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes.	JOWO	2017	DBLP BibTeX RDF
12	Jörg Leukel, Vijayan Sugumaran, Marvin Hubl	The Role of Application Domain Knowledge in Using OWL DL Diagrams: A Study of Inference and Problem-Solving Tasks.	ICIS	2016	DBLP BibTeX RDF
12	Sohaila Baset, Kilian Stoffel	OntoJIT: Parsing Native OWL DL into Executable Ontologies in an Object Oriented Paradigm.	OWLED	2016	DBLP DOI BibTeX RDF
12	Malek Lhioui, Kais Haddar, Laurent Romary	Projecting LMF Lexica Towards OWL-DL through LMF-JAPE Patterns to Obtain Interoperable Formats.	Res. Comput. Sci.	2015	DBLP BibTeX RDF
12	A. Aziz Altowayan, Lixin Tao	Simplified Approach for Representing Part-Whole Relations in OWL-DL Ontologies.	HPCC/CSS/ICESS	2015	DBLP DOI BibTeX RDF
12	Xiaowang Zhang, Guohui Xiao 0001, Zuoquan Lin, Jan Van den Bussche	Inconsistency-tolerant reasoning with OWL DL.	Int. J. Approx. Reason.	2014	DBLP DOI BibTeX RDF
12	Amel Boustil, Ramdane Maamri, Zaïdi Sahnoun	A semantic selection approach for composite Web services using OWL-DL and rules.	Serv. Oriented Comput. Appl.	2014	DBLP DOI BibTeX RDF
12	Xia Jing, Stephen Kay, Tom Marley, Nicholas R. Hardiker	Integration of an OWL-DL Knowledge Base with an EHR Prototype and Providing Customized Information.	J. Medical Syst.	2014	DBLP DOI BibTeX RDF
12	Qiu Ji, Zhiqiang Gao, Zhisheng Huang	Conflict Resolution in Partially Ordered OWL DL Ontologies.	ECAI	2014	DBLP DOI BibTeX RDF
12	Vanja Lukovic, Danijela Milosevic, Goran Devedzic, Sasa Cukovic	Converting OBR-scolio ontology in OWL DL.	Comput. Sci. Inf. Syst.	2013	DBLP DOI BibTeX RDF
12	Raul Garcia-Castro, Asunción Gómez-Pérez	A keyword-driven approach for generating OWL DL conformance test data.	Eng. Appl. Artif. Intell.	2013	DBLP DOI BibTeX RDF