Improvements to propositional satisfiability search algorithms
Improvements to propositional satisfiability search algorithms
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Consistency Testing: The RACE Experience
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Bringing Together Description Logics and Database in an Object Oriented Model
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Three theses of representation in the semantic web
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
Journal of Logic, Language and Information
From tableaux to automata for description logics
Fundamenta Informaticae
ONTOXPL - Intelligent Exploration of OWL Ontologies
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Exact functional context matching for web services
Proceedings of the 2nd international conference on Service oriented computing
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
Natural language and inference in a computer game
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Relational analysis of algebraic datatypes
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Description Logics for Shape Analysis
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
SKIMA: Semantic Knowledge and Information Management
ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science
Towards Semantic Web agents: Knowledge Web and AgentLink
The Knowledge Engineering Review
Reasoning on UML class diagrams
Artificial Intelligence
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
Model refactorings through rule-based inconsistency resolution
Proceedings of the 2006 ACM symposium on Applied computing
Constructing a semantic network for legal content
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
MULTIMEDIA '06 Proceedings of the 14th annual ACM international conference on Multimedia
RDFS(FA): Connecting RDF(S) and OWL DL
IEEE Transactions on Knowledge and Data Engineering
A Flexible Ontology Reasoning Architecture for the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Semantic web infrastructure for fungal enzyme biotechnologists
Web Semantics: Science, Services and Agents on the World Wide Web
A semantic web approach to biological pathway data reasoning and integration
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic web: the story so far
W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Enabling knowledge sharing within e-Government back-office through ontological engineering
Journal of Theoretical and Applied Electronic Commerce Research
Using OWL to model biological knowledge
International Journal of Human-Computer Studies
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
Situational computing: An innovative architecture with imprecise reasoning
Journal of Systems and Software
Towards a framework for requirement change management in healthcare software applications
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
On scene interpretation with description logics
Image and Vision Computing
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Expressive probabilistic description logics
Artificial Intelligence
International Journal of Bioinformatics Research and Applications
A context-aware meeting alert using semantic web and rule technology
International Journal of Metadata, Semantics and Ontologies
International Journal of Metadata, Semantics and Ontologies
Deciding expressive description logics in the framework of resolution
Information and Computation
Natural language directed inference from ontologies
Artificial Intelligence
Constructing Formally Verified Reasoners for the ALC Description Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantically-enhanced on-demand resource provision and management for the grid
Multiagent and Grid Systems - Special Issue on "Advances in Grid services Engineering and Management"
Effective and efficient semantic web data management over DB2
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Home-Explorer: Ontology-based physical artifact search and hidden object detection system
Mobile Information Systems - Mobile Systems and Applications
CAMPUS NEWS: an intelligent Bluetooth-based mobile information network
Mobility '07 Proceedings of the 4th international conference on mobile technology, applications, and systems and the 1st international symposium on Computer human interaction in mobile technology
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Fuzzy spatial relation ontology for image interpretation
Fuzzy Sets and Systems
Extending Siena to support more expressive and flexible subscriptions
Proceedings of the second international conference on Distributed event-based systems
Image retrieval ++--web image retrieval with an enhanced multi-modality ontology
Multimedia Tools and Applications
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Empowering Software Maintainers with Semantic Web Technologies
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Measuring Inconsistencies in Ontologies
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Axiom Pinpointing in General Tableaux
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
An Hybrid, QoS-Aware Discovery of Semantic Web Services Using Constraint Programming
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Automata-Based Axiom Pinpointing
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Individual Reuse in Description Logic Reasoning
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Rules and Ontologies for the Semantic Web
Reasoning Web
Ontology-centric integration and navigation of the dengue literature
Journal of Biomedical Informatics
Ranking semantic information for e-government: complaints management
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning with rough description logics: An approximate concepts approach
Information Sciences: an International Journal
A Flexible Model for Locating Services on the Web
International Journal of Electronic Commerce
Review of Knowledge Engineering Requirements for Semantic Reasoning in Autonomic Networks
APNOMS '08 Proceedings of the 11th Asia-Pacific Symposium on Network Operations and Management: Challenges for Next Generation Network Operations and Service Management
OWL Datatypes: Design and Implementation
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions
Uncertainty Reasoning for the Semantic Web I
Designing Visual Languages for Description Logics
Journal of Logic, Language and Information
Ontology engineering: reuse and integration
International Journal of Metadata, Semantics and Ontologies
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
HTab: a Terminating Tableaux System for Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
CoLoSS: The Coalgebraic Logic Satisfiability Solver
Electronic Notes in Theoretical Computer Science (ENTCS)
Ontology-driven geographic information integration: A survey of current approaches
Computers & Geosciences
A semantic web environment for components
The Knowledge Engineering Review
IEICE - Transactions on Information and Systems
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Hybrid reasoning in the CARE middleware for context awareness
International Journal of Web Engineering and Technology
Usability Issues in Description Logic Knowledge Base Completion
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Web Ontology Segmentation: Extraction, Transformation, Evaluation
Modular Ontologies
Ontology Integration Using ε-Connections
Modular Ontologies
Composing Modular Ontologies with Distributed Description Logics
Modular Ontologies
Re-engineering OntoSem Ontology Towards OWL DL Compliance
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Approximation of Ontologies in CASL
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Using Selectional Restrictions to Query an OWL Ontology
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
An empirical comparison of ontology matching techniques
Journal of Information Science
Realizing Default Logic over Description Logic Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Description Logic Framework for Access Control and Security in Object-Oriented Systems
RSFDGrC '07 Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Finding maximally satisfiable terminologies for the description logic ALC
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Frolog: an accommodating text-adventure game
EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session
Complete OWL-DL Reasoning Using Relational Databases
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Approximating OWL-DL ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A new general method to generate random modal formulae for testing decision procedures
Journal of Artificial Intelligence Research
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Description logics with approximate definitions precise modeling of vague concepts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Journal of Artificial Intelligence Research
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Discovering functional dependencies for multidimensional design
Proceedings of the ACM twelfth international workshop on Data warehousing and OLAP
A Formal Model of Competence-Based Assessment
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
A Formal Model of Competence-Based Assessment
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
AI Communications - Practical Aspects of Automated Reasoning
OntoTrack: A semantic approach for ontology authoring
Web Semantics: Science, Services and Agents on the World Wide Web
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
A web-centric semantic mediation approach for spatial information systems
Journal of Visual Languages and Computing
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
A critical evaluation of ontology languages for geographic information retrieval on the Internet
Journal of Visual Languages and Computing
Reconciling description logics and rules
Journal of the ACM (JACM)
A unified ontology-based process model for software maintenance and comprehension
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Matching in hybrid terminologies
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Leveraging the expressivity of grounded conjunctive query languages
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Approaches to inconsistency handling in description-logic based ontologies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
An efficient and scalable management of ontology
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
OBO and OWL: leveraging semantic web technologies for the life sciences
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Instance migration in heterogeneous ontology environments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Matching patient records to clinical trials using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
A formally verified prover for the ALC description logic
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Spartacus: A Tableau Prover for Hybrid Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling of the role-based access control policy with constraints using description logic
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
Modular Upper-Level Ontologies for Semantic Complex Event Processing
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
OCtoPUS: um modelo para classificação de perfil de usuários usando trilhas em sistemas ubíquos
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Establishing similarity across multi-granular topological-relation ontologies
QuaCon'09 Proceedings of the 1st international conference on Quality of context
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Approximate instance retrieval on ontologies
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
Query strategy for sequential ontology debugging
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Development of an engineering knowledge extraction framework
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Towards checking laws' consistency through ontology design: the case of Brazilian vehicles' laws
Journal of Theoretical and Applied Electronic Commerce Research
Relationship-based access control policies and their policy languages
Proceedings of the 16th ACM symposium on Access control models and technologies
Building a global normalized ontology for integrating geographic data sources
Computers & Geosciences
Ontology and database mapping: a survey of current implementations and future directions
Journal of Web Engineering
Virtual catalog: the ontology-based technology for information retrieval
KONT'07/KPP'07 Proceedings of the First international conference on Knowledge processing and data analysis
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
A hybrid deliberative layer for robotic agents: fusing DL reasoning with HTN planning in autonomous robots
Automated reasoning in ALCQ via SMT
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications: An International Journal
COPE: childhood obesity prevention [knowledge] enterprise
AIME'11 Proceedings of the 13th conference on Artificial intelligence in medicine
Rough subsumption reasoning with rOWL
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Ontology-based interoperation model of collaborative product development
Journal of Network and Computer Applications
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Nonmonotonic logic programs for the semantic web
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Debugging OWL-DL ontologies: a heuristic approach
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The fungalweb ontology: semantic web challenges in bioinformatics and genomics
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Towards a managed extensible control plane for knowledge-based networking
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
ESC: a tool for automatic composition of e-services based on logics of programs
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Integrating web services into ontology-based web portal
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
A new n-ary existential quantifier in description logics
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Subsumption in w.r.t. hybrid TBoxes
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Resolving inconsistencies in evolving ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Spatio-temporal schema integration with validation: a practical approach
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
A tableau algorithm for description logics with concrete domains and GCIs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Scalable instance retrieval for the semantic web by approximation
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
An OWL-Based approach for RBAC with negative authorization
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A dynamic access control model
Applied Intelligence
The summary abox: cutting ontologies down to size
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Debugging and semantic clarification by pinpointing
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Approximating description logic classification for semantic web reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
A semantic service environment: a case study in bioinformatics
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
F-OWL: an inference engine for semantic web
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
A generic shape matching with anchoring of knowledge primitives of object ontology
ICIAR'05 Proceedings of the Second international conference on Image Analysis and Recognition
Ontology modeling and storage system for robot context understanding
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
XSDL: making XML semantics explicit
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Minerva: a scalable OWL ontology storage and inference system
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
A semantic rewriting approach to automatic information providing web service composition
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Suggested ontology for pharmacogenomics (SO-Pharm): modular construction and preliminary testing
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
An efficient algorithm for OWL-S based semantic search in UDDI
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Optimizing the evaluation of XPath using description logics
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Representation and reasoning on RBAC: a description logic approach
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Representing transitive propagation in OWL
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
A formal framework for reasoning on metadata based on CWM
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Using sums-of-products for non-standard reasoning
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Semantic mappings in description logics for spatio-temporal database schema integration
Journal on Data Semantics III
User profiles and matchmaking on mobile phones
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Optimal tableau algorithms for coalgebraic logics
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
The expressive language ALCNHR+K(D) for knowledge reasoning
KDXD'06 Proceedings of the First international conference on Knowledge Discovery from XML Documents
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform
Proceedings of the 21st international conference companion on World Wide Web
Solving graded/probabilistic modal logic via linear inequalities (system description)
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
A user and NLP-assisted strategic workflow for a social semantic OWL 2-based knowledge platform
Proceedings of the Workshop on Semantic Analysis in Social Media
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Ontological text mining of software documents
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
Improving semantic query answering
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Improving semantic web services discovery using SPARQL-based repository filtering
Web Semantics: Science, Services and Agents on the World Wide Web
Knowledge acquisition: Past, present and future
International Journal of Human-Computer Studies
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
Science of Computer Programming
An infrastructure for real-time population health assessment and monitoring
IBM Journal of Research and Development
From OWL to DL−Lite through efficient ontology approximation
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Data & Knowledge Engineering
Formally Verified Tableau-Based Reasoners for a Description Logic
Journal of Automated Reasoning
Optimizing SPARQL query answering over OWL ontologies
Journal of Artificial Intelligence Research
Knowledge-enabled decision making for robotic system utilizing ambient service components
Journal of Ambient Intelligence and Smart Environments - Ambient and Smart Component Technologies for Human Centric Computing
| Hi-index | 0.02 |
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized sound and complete algorithms. RACER also implements a decision procedure for modal logic satisfiability problems (possibly with global axioms).