Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Modal Logic for Evaluating Formulas in Incomplete Contexts
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Non-standard reasoning services for the debugging of description logic terminologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Treating incomplete knowledge in formal concept analysis
Formal Concept Analysis
Distance-Based Classification in OWL Ontologies
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
DL-FOIL Concept Learning in Description Logics
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
An FCA-based solution for ontology mediation
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Statistical Learning for Inductive Query Answering on OWL Ontologies
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Approximate Measures of Semantic Dissimilarity under Uncertainty
Uncertainty Reasoning for the Semantic Web I
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Formalizing ICD coding rules using Formal Concept Analysis
Journal of Biomedical Informatics
Usability Issues in Description Logic Knowledge Base Completion
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Exploring Finite Models in the Description Logic ${\mathcal {EL}}_{\rm gfp}$
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
ReduCE: A Reduced Coulomb Energy Network Method for Approximate Classification
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
OntoComP: A Protégé Plugin for Completing OWL Ontologies
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Role Assertion Analysis: a proposed method for ontology refinement through assertion learning
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Access Policy Design Supported by FCA Methods
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Merging Expressive Ontologies Using Formal Concept Analysis
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Computing intensional answers to questions - An inductive logic programming approach
Data & Knowledge Engineering
Towards the induction of terminological decision trees
Proceedings of the 2010 ACM Symposium on Applied Computing
Acquiring generalized domain-range restrictions
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Lexico-logical acquisition of OWL DL axioms: an integrated approach to ontology refinement
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Query answering and ontology population: an inductive approach
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
ORE - a tool for repairing and enriching knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Class expression learning for ontology engineering
Web Semantics: Science, Services and Agents on the World Wide Web
Creating knowledge out of interlinked data: making the web a data washing machine
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Prediction of class and property assertions on OWL ontologies through evidence combination
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
What's happening in semantic web: and what FCA could have to do with it
ICFCA'11 Proceedings of the 9th international conference on Formal concept analysis
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
Introduction to linked data and its lifecycle on the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Wheat and chaff - practically feasible interactive ontology revision
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Inductive learning of disjointness axioms
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Hardness of enumerating pseudo-intents in the lectic order
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
An approach to exploring description logic knowledge bases
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Web Semantics: Science, Services and Agents on the World Wide Web
Advocatus diaboli --- exploratory enrichment of ontologies with negative constraints
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Universal OWL axiom enrichment for large knowledge bases
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Concept Induction in Description Logics Using Information-Theoretic Heuristics
International Journal on Semantic Web & Information Systems
Axiomatizing εL⊥-expressible terminological knowledge from erroneous data
Proceedings of the seventh international conference on Knowledge capture
Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Introduction to linked data and its lifecycle on the web
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowledge base is complete in a certain, well-defined sense.