Search results for "description logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
3	Esma Yahia, Jing Yang, Alexis Aubry, Hervé Panetto	On the Use of Description Logic for Semantic Interoperability of Enterprise Systems.	OTM Workshops	2009	DBLP DOI BibTeX RDF	Ontology, Information Systems, Description Logic, Semantic Interoperability, System-of-Systems
3	Adam Meissner	A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic.	ICCCI	2009	DBLP DOI BibTeX RDF	parallel reasoning, Oz language, description logic
3	Hailong Wang, Z. M. Ma, Junfu Yin	FRESG: A Kind of Fuzzy Description Logic Reasoner.	DEXA	2009	DBLP DOI BibTeX RDF	Fuzzy description logic, F-ALC(G), customized data type, reasoner
3	Ju Wang, Yuncheng Jiang, Yuming Shen	Satisfiability and reasoning mechanism of terminological cycles in description logic vL .	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	terminological cycles, description graph, model, description logic
3	Gergely Lukácsy, Péter Szeredi, Balázs Kádár	Prolog Based Description Logic Reasoning.	ICLP	2008	DBLP DOI BibTeX RDF	logic programming, description logic, resolution, large data sets
3	Zhixiong Jiang, Leqiu Qian, Yiming Lau, Shan Tang	Dynamic Description Logic Based Services Semantic Matching.	WKDD	2008	DBLP DOI BibTeX RDF	service dynamic description logic, matching degree, semantic web services, semantic matching
3	Boustia Narhimene, Aïcha Mokhtari	Representation and Reasoning on ORBAC: Description Logic with Defaults and Exceptions Approach.	ARES	2008	DBLP DOI BibTeX RDF	Security, Description logic, Exception, ORBAC, Default
3	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
3	Liang Bai, Songyang Lao, Weiming Zhang, Gareth J. F. Jones, Alan F. Smeaton	Video Semantic Content Analysis Framework Based on Ontology Combined MPEG-7.	Adaptive Multimedia Retrieval	2007	DBLP DOI BibTeX RDF	Video Semantic Content, Temporal Description Logic, Ontology, OWL, Description Logic, MPEG-7
3	Yingjie Li 0002, Li Wang, Xueli Yu, Wen Li, Yu Xing	DLAIP: A Description Logic Based Approach for Dynamic Semantic Web Services Composition.	Advances in Web Intelligence and Data Mining	2006	DBLP DOI BibTeX RDF	DLAIP, Semantic Web, Service Composition, Description Logic, AI planning
3	Qi Xie, Dayou Liu, Haibo Yu 0002	Using Description Logic to Determine Seniority Among RB-RBAC Authorization Rules.	RSKT	2006	DBLP DOI BibTeX RDF	RB-RBAC, attribute expression, seniority level, Description Logic, authorization rule
3	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)
3	Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Niranjan Suri, Patrick J. Hayes, Maggie R. Breedy, Larry Bunch, Matt Johnson, Shriniwas Kulkarni, James Lott	KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement.	POLICY	2003	DBLP DOI BibTeX RDF	policy conflict resolution, ontology, agent, policy, description logic, domains, DAML, KAoS
3	Deborah L. McGuinness, Peter F. Patel-Schneider	From Description Logic Provers to Knowledge Representation Systems.	Description Logic Handbook	2003	DBLP BibTeX RDF
3	Ralf Möller, Volker Haarslev	Description Logic Systems.	Description Logic Handbook	2003	DBLP BibTeX RDF
3	Franz Baader	Description Logic Terminology.	Description Logic Handbook	2003	DBLP BibTeX RDF
3	Benjamin N. Grosof, Ian Horrocks, 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
2	Sha-sha Feng, Dan-tong Ou-yang, Yong-gang Zhang	The Logical Difference for Fuzzy Ontologies.	CIT	2010	DBLP DOI BibTeX RDF	Fuzzy Description Logic, logical difference, lightweight description logic eL^+
2	Jidi Zhao, Harold Boley, Weichang Du	Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic.	ICIC	2009	DBLP DOI BibTeX RDF
2	Uwe Keller, Stijn Heymans	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.	LFCS	2009	DBLP DOI BibTeX RDF
2	Ming Li, Fengkui Zang	A Dynamic Description Logic for UML.	JCAI	2009	DBLP DOI BibTeX RDF	Dynamic extension, UML, Description logic
2	Linh Anh Nguyen, Andrzej Szalas	ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}.	ICCCI	2009	DBLP DOI BibTeX RDF
2	Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner	Realizing Default Logic over Description Logic Knowledge Bases.	ECSQARU	2009	DBLP DOI BibTeX RDF
2	Franz Baader, Baris Sertkaya	Usability Issues in Description Logic Knowledge Base Completion.	ICFCA	2009	DBLP DOI BibTeX RDF
2	Franz Baader, Barbara Morawska	Unification in the Description Logic EL.	RTA	2009	DBLP DOI BibTeX RDF
2	Sayed Gholam Hassan Tabatabaei, Amir Vahid Dastjerdi, Wan M. N. Wan-Kadir, Suhaimi Ibrahim, Elahe Sarafian	Security conscious composition of Semantic Web services based on AI planning and description logic.	iiWAS	2009	DBLP DOI BibTeX RDF	semantic web service, description logic, web service composition, web service security, AI-planning, web service modeling ontology
2	Franz Baader, Andreas Bauer 0002, Marcel Lippmann	Runtime Verification Using a Temporal Description Logic.	FroCos	2009	DBLP DOI BibTeX RDF
2	Inanç Seylan, Wojciech Jamroga	Description logic for coalitions.	AAMAS	2009	DBLP DOI BibTeX RDF	strategic logics, satisfiability, description logics, tableaux
2	Jingwei Cheng, Z. M. Ma, Fu Zhang, Xing Wang	Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases.	DEXA	2009	DBLP DOI BibTeX RDF
2	Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv	Dynamic description logic model for data integration.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	dynamic description logics, knowledge representation, query processing, relational databases, data integration
2	Volker Haarslev, Ralf Möller	On the Scalability of Description Logic Instance Retrieval.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Instance retrieval, Description logics
2	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Conjunctive query containment and answering under description logic constraints.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	computational compexity, conjunctve queries, Description logics, query containment
2	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer	Exploiting conjunctive queries in description logic programs.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30
2	Héctor Pérez-Urbina, Boris Motik, Ian Horrocks	Rewriting Conjunctive Queries over Description Logic Knowledge Bases.	SDKB	2008	DBLP DOI BibTeX RDF
2	Boris Konev, Dirk Walther, Frank Wolter	The Logical Difference Problem for Description Logic Terminologies.	IJCAR	2008	DBLP DOI BibTeX RDF
2	Wenjia Niu, Zhongzhi Shi, Liang Chang	A Context Model for Service Composition Based on Dynamic Description Logic.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF	context logic, semantic web service, context model, DDL
2	Shaohua Liu, Junsheng Yu, Yinglong Ma, Xu Zhang, Xiaoming Liu, Hansheng Su	Prioritizing Default Rules Embedded in Description Logic Knowledge Base.	SNPD	2008	DBLP DOI BibTeX RDF
2	Wenhui Ma, Guangping Xu, Gang Wang, Jing Liu	Detecting Semantic Mapping of Ontologies with Inference of Description Logic.	SNPD	2008	DBLP DOI BibTeX RDF
2	M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder	Service Specification and Matchmaking Using Description Logic.	AMAST	2008	DBLP DOI BibTeX RDF
2	Shaohua Liu, Junsheng Yu, Yinglong Ma, Bing Xu, Yuan Mai, Min Zhou	A Prioritized Default Extension to Description Logic Knowledge Base.	FSKD	2008	DBLP DOI BibTeX RDF
2	Wei Zhang, Junming Qin, Ju Wang, Yuncheng Jiang	Computing the Number Restriction Deduced from the Existential Restriction in Description Logic with Primitive Negation, Existential Restriction and Number Restriction.	FSKD	2008	DBLP DOI BibTeX RDF
2	Guilin Qi, Jeff Z. Pan	A Tableau Algorithm for Possibilistic Description Logic .	ASWC	2008	DBLP DOI BibTeX RDF
2	Xiaodong Zhu, Zhiqiu Huang, Guohua Shen	Description Logic Based Consistency Checking upon Data Mining Metadata.	RSKT	2008	DBLP DOI BibTeX RDF	Data mining, Metadata, Knowledge representation, Automated reasoning, Consistency checking
2	Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus	Query Answering in the Description Logic Horn-.	JELIA	2008	DBLP DOI BibTeX RDF
2	Hongmei Zhu, Yongquan Liang, Yong Zhang	Description Logic-Based Web Service Self-Adaptation Strategy Representation.	CSSE	2008	DBLP DOI BibTeX RDF
2	Manolis Maragoudakis, Ilias Maglogiannis, D. Lymberopoulos	A medical, description logic based, ontology for skin lesion images.	BIBE	2008	DBLP DOI BibTeX RDF
2	Rachid Kadouche, Mounir Mokhtari, Sylvain Giroux, Bessam Abdulrazak	Semantic approach for modelling an assistive environment using description logic.	iiWAS	2008	DBLP DOI BibTeX RDF
2	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings.	FoIKS	2008	DBLP DOI BibTeX RDF
2	Hailong Wang, Z. M. Ma	A Decidable Fuzzy Description Logic F-ALC(G).	DEXA	2008	DBLP DOI BibTeX RDF	fuzzy ALC(G), customized fuzzy data types, Tableau algorithm
2	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
2	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF
2	Pavel Klinov, Bijan Parsia	Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF
2	Paul El Khoury, Emmanuel Coquery, Mohand-Said Hacid	Consistency checking of role assignments in inter-organizational collaboration.	SPRINGL	2008	DBLP DOI BibTeX RDF	bridge rules, role based access control, description logic, roles, inter-organizational
2	Travis D. Breaux, Annie I. Antón, Jon Doyle	Semantic parameterization: A process for modeling domain descriptions.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	formal specification, Natural language, description logic, domain knowledge
2	Bo Zhou, Jianjiang Lu, Yanhui Li, Yafei Zhang, Dazhou Kang	Reasoning Problems on Distributed Fuzzy Ontologies.	RSKT	2008	DBLP DOI BibTeX RDF	ontology, distributed, description logic, fuzzy
2	Andrea Calì, Thomas Lukasiewicz	An Approach to Probabilistic Data Integration for the Semantic Web.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Probabilistic data integration, probabilistic description logic programs, normal programs, probabilistic uncertainty, Semantic Web, description logics, well-founded semantics, answer set semantics
2	Carsten Lutz, Frank Wolter	Conservative Extensions in the Lightweight Description Logic EL.	CADE	2007	DBLP DOI BibTeX RDF
2	Mustafa Jarrar	Mapping ORM into the SHOIN/OWL Description Logic.	OTM Workshops	2007	DBLP DOI BibTeX RDF
2	Thorsten Liebig, Felix Müller	Parallelizing Tableaux-Based Description Logic Reasoning.	OTM Workshops	2007	DBLP DOI BibTeX RDF
2	Thomas Lukasiewicz	Tractable Probabilistic Description Logic Programs.	SUM	2007	DBLP DOI BibTeX RDF
2	Jung-Hwa Chae, Nematollaah Shiri	Description Logic Framework for Access Control and Security in Object-Oriented Systems.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Role-based access control, description logic, object-oriented system, access control List
2	Thomas Lukasiewicz, Umberto Straccia	Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness.	ECSQARU	2007	DBLP DOI BibTeX RDF
2	Lu Songfeng, Sun Chengfu, Ma Xinjian	Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net.	SYNASC	2007	DBLP DOI BibTeX RDF
2	Andrea Calì, Thomas Lukasiewicz	Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web.	ICLP	2007	DBLP DOI BibTeX RDF
2	Cuiling Zhu, Jun Ma, Dongmei Zhang	The Ontology Model Based on Fuzzy Description Logic.	FSKD	2007	DBLP DOI BibTeX RDF
2	Hai Wang, Zengzhi Li, Bo Yang, Hong Xia	A Context-Aware Service Matchmaking Method Using Description Logic.	APSCC	2007	DBLP DOI BibTeX RDF
2	Liang Chang, Fen Lin, Zhongzhi Shi	A Dynamic Description Logic for Representation and Reasoning About Actions.	KSEM	2007	DBLP DOI BibTeX RDF
2	Chuming Chen, Manton M. Matthews	Extending Description Logic for Reasoning about Ontology Evolution.	Web Intelligence	2007	DBLP DOI BibTeX RDF
2	Thomas Lukasiewicz, Umberto Straccia	Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web.	RR	2007	DBLP DOI BibTeX RDF
2	Jing Mei, Zuoquan Lin, Harold Boley	ALCuP: An Integration of Description Logic and General Rules.	RR	2007	DBLP DOI BibTeX RDF
2	Zhixiong Jiang, Leqiu Qian, Xin Peng, Shisheng Zhu	Dynamic Description Logic for Describing Semantic Web Services.	IMSCCS	2007	DBLP DOI BibTeX RDF
2	Tao Jia, Wen Zhao, Lifu Wang	PrSH: A Belief Description Logic.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
2	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Bounded Model Checking with Description Logic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
2	Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou, Stefanos D. Kollias	f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
2	Junghwa Chae	Modeling of the Role-Based Access Control Policy with Constraints Using Description Logic.	ICCSA	2007	DBLP DOI BibTeX RDF	object class hierarchy, constraints, Role-based access control, description logic
2	Jens Lehmann, Pascal Hitzler	A Refinement Operator Based Learning Algorithm for the ALC Description Logic.	ILP	2007	DBLP DOI BibTeX RDF
2	Ruixuan Li, Xiaolin Sun, Zhengding Lu, Kunmei Wen, Yuhua Li	Towards a Type-2 Fuzzy Description Logic for Semantic Search Engine.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	Semantic search engine, Type-2 fuzzy, Description logic, Fuzzy ontology
2	Yuheng Hu, Zhendong Wu, Ming Guo	Ontology driven adaptive data processing in wireless sensor networks.	Infoscale	2007	DBLP DOI BibTeX RDF	wireless sensor networks, ontology, description logic, SWRL
2	Ian Horrocks, Ulrike Sattler	A Tableau Decision Procedure for SHOIQ.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Description logic, Decision procedures
2	Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider	Optimizing Terminological Reasoning for Expressive Description Logics.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Reasoning systems, Optimizations, Description logic
2	Ken Kaneiwa	Description Logics with Contraries, Contradictories, and Subcontraries.	New Generation Comput.	2007	DBLP DOI BibTeX RDF	Constructive Description Logic, Terminological Knowledge Representation, Strong Negation, Negative Information
2	Zsolt Nagy, Gergely Lukácsy, Péter Szeredi	Translating Description Logic Queries to Prolog.	PADL	2006	DBLP DOI BibTeX RDF	Instance retrieval, Prolog, Description Logics, Reasoning, Query-plan
2	Dmitry Tsarkov, Ian Horrocks	Description Logic Reasoner: System Description.	IJCAR	2006	DBLP DOI BibTeX RDF
2	Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin	Description Logic Reasoning with Syntactic Updates.	OTM Conferences	2006	DBLP DOI BibTeX RDF
2	Pakornpong Pothipruk, Guido Governatori	ALE Defeasible Description Logic.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
2	Gergely Lukácsy	Description Logic Reasoning in Prolog.	ICLP	2006	DBLP DOI BibTeX RDF
2	Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li	A Fuzzy Extension of Description Logic ALC with Comparison Expressions.	KES	2006	DBLP DOI BibTeX RDF
2	Thomas Lukasiewicz	Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web.	RuleML	2006	DBLP DOI BibTeX RDF
2	Alan L. Rector, Jeremy Rogers	Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN.	Reasoning Web	2006	DBLP DOI BibTeX RDF
2	Ralf Möller, Volker Haarslev, Michael Wessel	On the Scalability of Description Logic Instance Retrieval.	KI	2006	DBLP DOI BibTeX RDF
2	Pakornpong Pothipruk, Guido Governatori	An optimization for query answering on ALC database.	ADC	2006	DBLP DOI BibTeX RDF	query optimization, description logic, web database
2	Bruno Bouchard, Abdenour Bouzouane, Sylvain Giroux	A smart home agent for plan recognition.	AAMAS	2006	DBLP DOI BibTeX RDF	description logic, smart home, plan recognition, lattice theory
2	Giorgos Stoilos, Nikos Simou, Giorgos B. Stamou, Stefanos D. Kollias	Uncertainty and the Semantic Web.	IEEE Intelligent Systems	2006	DBLP DOI BibTeX RDF	fuzzy knowledge, Semantic Web, uncertainty, OWL, Description Logic, reasoning
2	Mathieu d'Aquin, Jean Lieber, Amedeo Napoli	Case-Based Reasoning Within Semantic Web Technologies.	AIMSA	2006	DBLP DOI BibTeX RDF	description logic reasoning, semantic Web, OWL, Case-based reasoning, oncology
2	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
2	Yinglong Ma, Kehe Wu, Beihong Jin, Shaohua Liu	Approximate Semantic Query Based on Multi-agent Systems.	RSKT	2006	DBLP DOI BibTeX RDF	Ontology, multi-agent system, description logic
2	Matthias Nickles	Modeling Social Attitudes on the Web.	International Semantic Web Conference	2006	DBLP DOI BibTeX RDF	Semantic Web, Modal Logic, Description Logic, Information Integration, Agent Communication
2	Ralf Küsters, Ralf Molitor	Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.	Studia Logica	2005	DBLP DOI BibTeX RDF	least common subsumer, complexity, description logics
2	Umberto Straccia	Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report).	ESWC	2005	DBLP DOI BibTeX RDF