Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results
Intelligent backtracking on constraint satisfaction problems: experimental and theoretical results
Improvements to propositional satisfiability search algorithms
Improvements to propositional satisfiability search algorithms
Cardinality restrictions on concepts
Artificial Intelligence
A Concept Language Extended with Different Kinds of Transitive Roles
KI '96 Proceedings of the 20th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
ACM Transactions on Computational Logic (TOCL)
Ontology-based metadata generation from semi-structured information
Proceedings of the 1st international conference on Knowledge capture
Artificial Intelligence Review
Clausal resolution in a logic of rational agency
Artificial Intelligence
Creating Semantic Web Contents with Protégé-2000
IEEE Intelligent Systems
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Practical Context Transformation for Information System Interoperability
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Bringing Together Semantic Web and Web Services
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
The description logic handbook
An infrastructure for context-awareness based on first order logic
Personal and Ubiquitous Computing
A combined approach to checking web ontologies
Proceedings of the 13th international conference on World Wide Web
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
Software Modeling Techniques and the Semantic Web
Proceedings of the 26th International Conference on Software Engineering
Choosing the best knowledge base system for large semantic web applications
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
ERONTO: a tool for extracting ontologies from extended E/R diagrams
Proceedings of the 2005 ACM symposium on Applied computing
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
An ontology-based information retrieval system
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Enterprise modeling and Data Warehousing in TELECOM ITALIA
Information Systems
Reasoning on UML class diagrams
Artificial Intelligence
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
Reasoning and change management in modular ontologies
Data & Knowledge Engineering
A revision-based approach to handling inconsistency in description logics
Artificial Intelligence Review
Multidimensional service-oriented ontology mapping
International Journal of Web Engineering and Technology
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Bounded Model Checking with Description Logic Reasoning
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
KT and S4 Satisfiability in a Constraint Logic Environment
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
On Automated Testing of Description Logic Reasoners
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
A middleware for context-aware agents in ubiquitous computing environments
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Ontology-driven geographic information integration: A survey of current approaches
Computers & Geosciences
Parallel materialization of large ABoxes
Proceedings of the 2009 ACM symposium on Applied 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
Large scale knowledge base systems: an empirical evaluation perspective
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
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Part-whole representation and reasoning in formal biomedical ontologies
Artificial Intelligence in Medicine
A semantic-based architecture for supporting geographic e-services
Proceedings of the 3rd international conference on Theory and practice of electronic governance
Enterprise modeling and Data Warehousing in Telecom Italia
Information Systems
LUBM: A benchmark for OWL knowledge base systems
Web Semantics: Science, Services and Agents on the World Wide Web
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
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
Non-standard inferences in description logics
Non-standard inferences in description logics
OOPS: An S5n Prover for Educational Settings
Electronic Notes in Theoretical Computer Science (ENTCS)
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
Accessing data through ontologies with ONDA
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
Reasoning on the semantic web for adaptive hypermedia
Journal of Web Engineering
OWL: a description logic based ontology language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
On logical consequence for collections of OWL documents
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Preferential reasoning on a web of trust
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Debugging OWL-DL ontologies: a heuristic approach
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
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
Resolving inconsistencies in evolving ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Visualizing and simulating semantic web services ontologies
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Synthesis from temporal specifications using preferred answer set programming
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Verifying OWL and ORL ontologies in PVS
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Scalable instance retrieval for the semantic web by approximation
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
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
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
Building efficient decision procedures on top of SAT solvers
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
User profiles and matchmaking on mobile phones
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
Design and implementation of P2P reasoning system based on description logic
International Journal of Ad Hoc and Ubiquitous Computing
| Hi-index | 0.00 |
FaCT is a Description Logic classifier which has been implemented as a test-bed for a highly optimised tableaux satisfiability (subsumption) testing algorithm. The correspondence between modal and description logics also allows FaCT to be used as a theorem prover for the propositional modal logics K, KT, K4 and S4. Empirical tests have demonstrated the effectiveness of the optimised implementation and, in particular, of the dependency directed backtracking optimisation.