Tbox - PDFSEARCH.IO - Document Search Engine

Tbox
Results: 70

#	Item
61	Pinpointing in the Description Logic EL Franz Baader1, Rafael Pe˜ naloza2⋆ , and Boontawee Suntisrivaraporn1 1 Theoretical Computer Science, TU Dresden, Germany Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Ontology Mathematical logic Abox Function Tbox Algorithm Axiom Boolean satisfiability problem Time complexity Mathematics Theoretical computer science Applied mathematics
62	Data Complexity in the EL family of DLs Adila Krisnadhi1 and Carsten Lutz2 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Tbox FO Ontology Abox Conjunctive query
63	Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Temporal logic Semantics Ontology Linear temporal logic CTL* Kripke semantics Abox Tbox Interpretation Logic Mathematical logic Philosophy of language
64	Actions and Programs over Description Logic Ontologies Diego Calvanese1 , Giuseppe De Giacomo2 , Maurizio Lenzerini2 , Riccardo Rosati2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Data Semantic Web Technical communication Knowledge representation Tbox Abox Description logic Ontology Information Information science
65	Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes Florian Fuchs and Michael Berger Siemens AG, Corporate Technology, Intelligent Autonomous Systems Otto-Hahn-Ring 6, 81739 Munich, Germany {florian.fuchs Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Data Computer languages Web services Abox RDF Semantic Web Tbox Semantic reasoner Conjunctive query Ontology Computing Information
66	Description Logics Knowledge Bases in Description Logics Enrico Franconi [removed] Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Formal languages Logic Linguistics Abox Tbox If and only if Structure Interpretation String Mathematics Ontology Model theory
67	D:/PIPSWorkshop/Artykuly/DL Workshop 2007/paper_3.dvi Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information Abox Tbox Knowledge representation and reasoning Modal logic Interpretation Ontology Logic Science
68	PDF Document Add to Reading List Source URL: lat.inf.tu-dresden.de Language: English - Date: 2006-09-22 13:33:57 Knowledge Knowledge representation Knowledge engineering Semantic Web Information science Abox Tbox Description logic Knowledge representation and reasoning Ontology Science Information
69	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-07-26 07:53:19 Semantic Web Knowledge Knowledge representation Information science Knowledge engineering Description logic Web Ontology Language Semantic reasoner Tbox Ontology Science Information
70	PDF Document Add to Reading List Source URL: pellet.owldl.com Language: English - Date: 2007-06-01 16:48:08 Data Web Ontology Language Semantic reasoner Description logic Jena Ontology editor Abox Tbox Semantic Web Rule Language Semantic Web Ontology Information