Search results for "Description Logic(DL)"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Fen Lin, Lirong Qiu, He Huang, Qing Yu, Zhongzhi Shi	Description Logic Based Composition of Web Services.	PRIMA	2006	DBLP DOI BibTeX RDF	Semantic Web Services(SWS), Web Services Composition (WSC), Description Logic(DL)
1	Jingwei Cheng, Z. M. Ma, Fu Zhang, Xing Wang	Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases.	DEXA	2009	DBLP DOI BibTeX RDF
1	Ronny Hartanto, Joachim Hertzberg	On the Benefit of Fusing DL-Reasoning with HTN-Planning.	KI	2009	DBLP DOI BibTeX RDF
1	Xiaowang Zhang, Zuoquan Lin	An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite.	KI	2009	DBLP DOI BibTeX RDF
1	Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen	A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL.	International Semantic Web Conference	2009	DBLP DOI BibTeX RDF
1	Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus	Query Answering in Description Logics: The Knots Approach.	WoLLIC	2009	DBLP DOI BibTeX RDF
1	Rachid Kadouche, Mounir Mokhtari, Sylvain Giroux, Bessam Abdulrazak	Semantic approach for modelling an assistive environment using description logic.	iiWAS	2008	DBLP DOI BibTeX RDF
1	Hai Liu, Qing Li, Naijie Gu, An Liu	A logical framework for modeling and reasoning about semantic web services contract.	WWW	2008	DBLP DOI BibTeX RDF	dls, semantic web services, services contract
1	Changtao Qu, Falk Zimmermann, Kai Kumpf, Richard Kamuzinzi, Valérie Ledent, Robert Herzog	Semantics-Enabled Service Discovery Framework in the SIMDAT Pharma Grid.	IEEE Transactions on Information Technology in Biomedicine	2008	DBLP DOI BibTeX RDF
1	Franz Baader, Felix Distel	A Finite Basis for the Set of EL-Implications Holding in a Finite Model.	ICFCA	2008	DBLP DOI BibTeX RDF
1	Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio	Fuzzy Bilateral Matchmaking in e-Marketplaces.	KES	2008	DBLP DOI BibTeX RDF
1	Ronny Hartanto, Joachim Hertzberg	Fusing DL Reasoning with HTN Planning.	KI	2008	DBLP DOI BibTeX RDF
1	Alexandre Rademaker, Edward Hermann Haeusler	Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach.	SBIA	2008	DBLP DOI BibTeX RDF	description logics, proof theory, sequent calculus
1	Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri	Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF
1	Carsten Lutz, Frank Wolter	Conservative Extensions in the Lightweight Description Logic EL.	CADE	2007	DBLP DOI BibTeX RDF
1	Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	Reasoning over Extended ER Models.	ER	2007	DBLP DOI BibTeX RDF
1	Sebastian Brandt	Matching in Hybrid Terminologies.	LPAR	2007	DBLP DOI BibTeX RDF
1	Lorenzo Cirio, Isabel F. Cruz, Roberto Tamassia	A Role and Attribute Based Access Control System Using Semantic Web Technologies.	OTM Workshops	2007	DBLP DOI BibTeX RDF
1	Thorsten Liebig, Felix Müller	Parallelizing Tableaux-Based Description Logic Reasoning.	OTM Workshops	2007	DBLP DOI BibTeX RDF
1	Jing Mei, Zuoquan Lin, Harold Boley	ALCuP: An Integration of Description Logic and General Rules.	RR	2007	DBLP DOI BibTeX RDF
1	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Bounded Model Checking with Description Logic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati	Linking Data to Ontologies: The Description Logic DL-Lite_A.	OWLED	2006	DBLP BibTeX RDF
1	Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler	An Ontology-based Approach to the Formalization of Information Security Policies.	EDOC Workshops	2006	DBLP DOI BibTeX RDF
1	Da Qi, Erika R. E. Denton, Reyer Zwiggelaar	Semantic Analysis on Medical Images: A Case Study.	ICPR	2006	DBLP DOI BibTeX RDF
1	Claudia d'Amato, Steffen Staab	Modeling, Matching and Ranking Services Based on Constraint Hardness.	Business Process Management Workshops	2006	DBLP DOI BibTeX RDF
1	He Huang, Zhongzhi Shi, Jianwu Wang, Rui Huang	DDL: Embracing Actions into Semantic Web.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Dynamic Description Logic, action formalism, Web Services, Semantic Web
1	Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin	Description Logic Reasoning with Syntactic Updates.	OTM Conferences	2006	DBLP DOI BibTeX RDF
1	Nizamuddin Channa, Shanping Li, Xiangjun Fu	Product knowledge reasoning: a DL-based approach.	ICEC	2005	DBLP DOI BibTeX RDF	knowledge reasoner, ontologies, description logic
1	Lei Zhang 0007, Yong Yu, Jian Zhou, Chenxi Lin, Yin Yang	An enhanced model for searching in semantic portals.	WWW	2005	DBLP DOI BibTeX RDF	fuzzy description logic, information retrieval, semantic search, fuzzy reasoning, semantic portal
1	Xiangjun Fu, Shanping Li, Nizamuddin Channa	A DL-based Approach for Product Knowledge Reasoning.	PDCAT	2005	DBLP DOI BibTeX RDF
1	Bill Keller, Tim Owen, Ian Wakeman, Julie Weeds, David J. Weir	Middleware for User Controlled Environments.	PerCom Workshops	2005	DBLP DOI BibTeX RDF
1	Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir	Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.	ESWC	2005	DBLP DOI BibTeX RDF
1	Yu-Liang Chi	Constructing Ontologies for Sharing Knowledge in Digital Archives.	ICMLC	2005	DBLP DOI BibTeX RDF
1	Sebastian Brandt, Jörg Model	Subsumption in w.r.t. Hybrid TBoxes.	KI	2005	DBLP DOI BibTeX RDF
1	Shenghui Wang, Jeff Z. Pan	Ontology-Based Representation and Query Colour Descriptions from Botanical Documents.	OTM Conferences	2005	DBLP DOI BibTeX RDF
1	Yin Hua Li, Salima Benbernou	Representing and Reasoning About Privacy Abstractions.	WISE	2005	DBLP DOI BibTeX RDF
1	Holger Wache, Perry Groot, Heiner Stuckenschmidt	Scalable Instance Retrieval for the Semantic Web by Approximation.	WISE Workshops	2005	DBLP DOI BibTeX RDF
1	Bo Hu	Fusing Reasoning Services with Formal Concept Analysis.	Web Intelligence	2004	DBLP DOI BibTeX RDF
1	Kevin Lee, Thomas Andreas Meyer	A Classification of Ontology Modification.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF	Ontologies, Description Logics, Belief Revision
1	Bo Hu, 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
1	Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks	Using Vampire to Reason with OWL.	International Semantic Web Conference	2004	DBLP DOI BibTeX RDF
1	Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nigel Shadbolt	Ontology-Based Medical Image Annotation with Description Logics.	ICTAI	2003	DBLP DOI BibTeX RDF
1	Vitaliy L. Khizder, Grant E. Weddell	Reasoning about Uniqueness Constraints in Object Relational Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	uniqueness constraints, subsumption algorithms, description logics, Complex objects, object relational databases, semantic query optimization
1	Ronald Cornet, Ameen Abu-Hanna	Using Description Logics for Managing Medical Terminologies.	AIME	2003	DBLP DOI BibTeX RDF
1	Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks	A Semantic Infosphere.	International Semantic Web Conference	2003	DBLP DOI BibTeX RDF
1	Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers	Using Description Logic to Maintain Consistency between UML Models.	UML	2003	DBLP DOI BibTeX RDF
1	Piero A. Bonatti, Andrea Tettamanzi	Some Complexity Results on Fuzzy Description Logics.	WILF	2003	DBLP DOI BibTeX RDF
1	Ernesto Compatangelo, Helmut Meisel	"Reasonable" support to knowledge sharing through schema analysis and articulation.	Neural Computing and Applications	2003	DBLP DOI BibTeX RDF	Ontologies, Reuse, Sharing, Automated Reasoning, Articulation
1	Stijn Heymans, Dirk Vermeir	Using Preference Order in Ontologies. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF
1	Mathieu Roger, Ana Simonet, Michel Simonet	Object Space Partitioning in a DL-Like Database and Knowledge Base Management System.	DEXA	2001	DBLP DOI BibTeX RDF
1	Ralf Küsters, Ralf Molitor	Approximating Most Specific Concepts in Description Logics with Existential Restrictions.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
1	Yannis Velegrakis, Vassilis Christophides, Panos Constantopoulos	On Z39.50 wrapping and description logics.	Int. J. on Digital Libraries	2000	DBLP DOI BibTeX RDF	Z39.50 wrapping, Information retrieval, Description logics, Query rewriting