Tag description-logic [28 articles] Export

Recent papers classified by the tag description-logic.

	Parsing owl dl: trees or triples? [My Copy] In WWW '04: Proceedings of the 13th international conference on World Wide Web (2004), pp. 266-275. by Sean K. Bechhofer, Jeremy J. Carroll posted to semantic-web sean-bechhofer owl ontology description-logic by dullhunk on 2009-10-27 15:34:44 as
	Translating OWL and semantic web rules into prolog: Moving toward description logic programs [My Copy] Theory and Practice of Logic Programming, Vol. 8, No. 03. (2008), pp. 301-322. by K. E. N. Samuel, L. E. O. Obrst, Suzette Stoutenberg, et al.F. O. X. Karen, P. A. U. L. Franklin, Adrian Johnson, K. E. N. Laskey, Deborah Nichols, Steve Lopez, Jason Peterson posted to description-logic logic-programming ontology owl prolog rules semantic-web by franzkurfess on 2009-03-06 22:55:38 as along with 1 person fraktalek
	OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns [My Copy] Engineering Knowledge in the Age of the SemanticWeb (2004), pp. 63-81. by Alan Rector, Nick Drummond, Matthew Horridge, et al.Jeremy Rogers, Holger Knublauch, Robert Stevens, Hai Wang, Chris Wroe posted to description-logic ontology owl protege reasoning semantic-web by franzkurfess on 2009-03-06 22:49:57 as along with 1 person dagmar
	Pellet: A practical OWL-DL reasoner [My Copy] Web Semantics: Science, Services and Agents on the World Wide Web In Software Engineering and the Semantic Web, Vol. 5, No. 2. (June 2007), pp. 51-53. by E. Sirin, B. Parsia, B. Grau, A. Kalyanpur, Y. Katz posted to description-logic logic ontology owl reasoning by franzkurfess on 2009-03-06 22:41:19 as along with 11 people mektas allysonlister beanformer dokooh pajoma ianturton fulviocorno dullhunk fer chris_be fongenae
	Distributed Description Logics: Assimilating Information from Peer Sources [My Copy] Journal on Data Semantics, Vol. 1 (2003), pp. 153-184. by Alex Borgida, Luciano Serafini posted to context description-logic ontology by flashfonic on 2009-02-23 13:58:26 as
	Data Complexity of Query Answering in Expressive Description Logics via Tableaux [My Copy] Journal of Automated Reasoning, Vol. 41, No. 1. (1 July 2008), pp. 61-98. by Magdalena Ortiz, Diego Calvanese, Thomas Eiter posted to description-logic reasoning by allysonlister on 2009-02-11 13:17:33 as
	Answering Queries Using Views over Description Logics Knowledge Bases [My Copy] In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence (2000), pp. 386-391. by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini posted to description-logic semantic-data-integration by allysonlister on 2009-02-11 13:08:56 as
	An unified dynamic description logic model for databases: relational data, relational operations and queries [My Copy] In ER '07: Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling (2007), pp. 121-126. by Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv posted to description-logic semantic-data-integration by allysonlister on 2009-02-11 12:55:45 as
	Rewriting queries using views in description logics [My Copy] In PODS '97: Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1997), pp. 99-108. by Catriel Beeri, Alon Y. Levy, Marie C. Rousset posted to concept-rewriting description-logic ontologies semantics by allysonlister on 2009-02-11 12:32:47 as
	Information Integration: Conceptual Modeling and Reasoning Support [My Copy] In Conference on Cooperative Information Systems (1998), pp. 280-291. by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati posted to data-integration description-logic by allysonlister on 2009-01-27 17:25:40 as along with 1 person morningboat
	Description Logics for Information Integration [My Copy] Computational Logic: Logic Programming and Beyond (2002), pp. 41-60. by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini posted to data-integration description-logic by allysonlister on 2009-01-27 17:23:19 as
	Why do it the hard way? The Case for an Expressive Description Logic for SNOMED. [My Copy] Journal of the American Medical Informatics Association : JAMIA (28 August 2008) by Alan L. Rector, Sebastian Brandt posted to alan-rector description-logic sebastian-brandt semantic-web snomed by dullhunk on 2008-09-01 12:09:33 as along with 2 people beanformer mikel_egana
	Description-logic knowledge representation system specification [My Copy] (1993) by P. Patelschneider, B. Swartout posted to description-logic by hsiaowei on 2008-06-05 16:12:36 as
	Approximating ALCN-Concept Descriptions [My Copy] by Sebastian Brandt, Ralf Küsters, Anni Y. Turhan posted to concept description-logic ontology by flashfonic on 2008-02-20 15:40:40 as
	Approximation and difference in description logics [My Copy] (2002) by S. Brandt, R. Kusters, A. Turhan posted to description-logic by flashfonic on 2008-02-11 16:06:34 as
	Making the Difference: A Subtraction Operation for Description Logics [My Copy] In KR'94: Principles of Knowledge Representation and Reasoning (1994), pp. 540-550. by Gunnar Teege edited by Jon Doyle, Erik Sandewall, Pietro Torasso posted to description-logic by flashfonic on 2008-02-11 16:04:06 as
	The Description Logic Handbook: Theory, Implementation, and Applications [My Copy] (24 September 2007) by Franz Baader posted to logic description-logic by BastianSpanneberg on 2008-01-01 16:27:51 as along with 1 person mircea
	The Description Logic Handbook: Theory, Implementation and Applications [My Copy] (24 January 2003) edited by Franz Baader, Diego Calvanese, Deborah Mcguinness, Daniele Nardi, Peter Patel-Schneider posted to xml-summer-school owl ontology gochebi description-logic artificial-intelligence by dullhunk on 2007-10-16 18:09:30 as along with 15 people and 3 groups mektas fongenae jorisslob liekeverhelst wcrosbie pajoma BarrosH karlh onlyme msn stephane-jean phoenix incognito josemgarcia ps_ttf Wikipedia CoP_CMS musil
	A Tableau Algorithm for Description Logics with Concrete Domains and GCIs [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods (2005), pp. 201-216. by Carsten Lutz, Maja Miličić posted to description-logic rcc by thau on 2007-10-05 19:09:24 as
	Semantics-Based Information Retrieval [My Copy] : (1998) by Ralf Möller, Volker Haarslev, Bernd Neumann posted to semantic-web description-logic by BastianSpanneberg on 2007-09-10 18:44:48 as along with 1 person IP
	Consistency Testing: The RACE Experience [My Copy] In Analytic Tableaux and Related Methods (2000), pp. 57-61. by Volker Haarslev, Ralf Moller posted to reasoning tableaux description-logic by BastianSpanneberg on 2007-08-22 00:09:39 as
	Distributed description logics: Assimilating information from peer sources [My Copy] (2003) by A. Borgida, L. Serafini posted to description-logic distributed by Scis0000002 on 2007-08-21 23:29:59 as
	EXPTIME tableaux for ALC [My Copy] Artificial Intelligence, Vol. 124, No. 1. (2000), pp. 87-138. by Francesco M. Donini, Fabio Massacci posted to reasoning tableaux description-logic by BastianSpanneberg on 2007-04-24 11:04:53 as along with 1 person PunkRock
	Basic description logics [My Copy] (2003), pp. 43-95. by Franz Baader, Werner Nutt posted to unification logic description-logic by ericlindahl to the group DecisionSupportTheory on 2007-01-23 16:11:19 as along with 2 people tdlt vme64
	Position paper: a comparison of two modelling paradigms in the Semantic Web [My Copy] In WWW '06: Proceedings of the 15th international conference on World Wide Web (2006), pp. 3-12. by Peter F. Patel Schneider, Ian Horrocks posted to description-logic by stephane-jean on 2006-10-09 18:52:18 as along with 1 person nlong
	Loading data into description reasoners [My Copy] In SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data, Vol. 22, No. 2. (June 1993), pp. 217-226. by Alex Borgida, Ronald J. Brachman posted to description-logic by stephane-jean on 2006-05-26 14:57:37 as
	On the Relative Expressiveness of Description Logics and Predicate Logics [My Copy] Artificial Intelligence, Vol. 82, No. 1-2. (1996), pp. 353-367. by Alexander Borgida posted to description-logic by stephane-jean on 2006-05-26 14:52:43 as
	Logic-Based Knowledge Representation [My Copy] In Artificial Intelligence Today, Recent Trends and Developments, No. 1600. (1999), pp. 13-41. by F. Baader edited by M. J. Wooldridge, M. Veloso posted to description-logic knowledge-representation logic logic-programming by zednenem on 2006-01-09 21:14:38 as along with 2 people jmaddi neilernst

Note: You may cite this page as: http://www.citeulike.org/tag/description-logic

ontology	8
semantic-web	8
owl	7
logic	5
reasoning	5
logic-programming	3
data-integration	2
rcc	2
rules	2
semantic-data-integration	2
tableaux	2
unification	2
alan-rector	1
artificial-intelligence	1
buggotea	1
concept	1
concept-rewriting	1
context	1
distributed	1
gochebi	1
knowledge-representation	1
ontologies	1
pellet	1
prolog	1
protege	1
sean-bechhofer	1
sebastian-brandt	1
semantics	1
snomed	1
xml-summer-school	1

Tag description-logic [28 articles] Export

Related Tags